compute_write_mask 5435 src/process.c  	  compute_write_mask (&Ctemp);
compute_write_mask 5527 src/process.c  	  compute_write_mask (&Writeok);