int B_locals_created = 0, B_busy = 0; int B_holno = 0, B_procno = 0; char *C_tmpdir = 0;