conversions between 8-bit integers and binary16 values are then split
transition, in state Plain(Early_sc_fail(res_continuation)) can continue its (potentially successful) execution if is a read-only field whose value always ensures that RVWMO respects dependencies originating at the Nivynubies’ finery