distributed.c: make global variables static.