live at the end of a block is preserved. In other words, we have to make sure that the last value written is the last value written.
live at the end of a block is preserved. In other words, we have to make sure that the last value written is the last value written.