const REVERT: u8 = _; // 1u8
What execution of a statement (or list) may do. A block “always reverts” iff its outcome set is exactly REVERT — no FALLTHROUGH and no NON_REVERT_EXIT.
REVERT
FALLTHROUGH
NON_REVERT_EXIT