int	B_locals_created = 0, B_busy = 0;
int	B_holno = 0, B_procno = 0;