taglinefilesource code
check_write728mm/memory.cgoto check_write;
check_write741mm/memory.ccheck_write: