pub fn rvrt<A: CheckRegId>(ra: A) -> Instruction
Halt execution, reverting state changes and returning a value.