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