sequencer: factor code out of revert builtin