compute_input_wait_mask 5434 src/process.c              compute_input_wait_mask (&Atemp);
compute_input_wait_mask 5526 src/process.c  	    compute_input_wait_mask (&Available);