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