compute_input_wait_mask 5428 src/process.c              compute_input_wait_mask (&Atemp);
compute_input_wait_mask 5520 src/process.c  	    compute_input_wait_mask (&Available);