Input (grade 12): ; Read-after-write (RAW): A read from a register or memory location must return the value placed there by the last write in program order, not some other write.
Output (grade 11): A read from a register or memory location must return the value placed there by the last write in program order, not some other write.