compute_input_wait_mask 5443 src/process.c              compute_input_wait_mask (&Atemp);
compute_input_wait_mask 5535 src/process.c  	    compute_input_wait_mask (&Available);