opcodes[]:

global scope global
{
  global scope implicit__revert__5uint8AEC_6uint16_6uint16_
  {
  }

  void revert ( uint8[]¢ array, uint16 a, uint16 e )
  {
    var uint8[]¢ array
    var uint16 a
    var uint16 e
    lvar+0+0 "e"        ( -- uint16& )
    --                  ( uint16& -- )
    L3:
    lvar+2+0 "a"        ( -- uint16& )
    peek                ( uint16& -- uint16 )
    lvar+0+2 "e"        ( -- uint16& )
    peek                ( uint16& -- uint16 )
    <                   ( uint16, uint16 -- bool )
    jp_z                ( bool -- ) -> L2
    lvar+4+0 "array"    ( -- uint8[]¢& )
    peek                ( uint8[]¢& -- uint8[]¢ )
    lvar+2+2 "a"        ( -- uint16& )
    peekpp              ( uint16& -- uint16 )
    atindex             ( uint8[]¢, int16 -- uint8& )
    lvar+4+2 "array"    ( -- uint8[]¢& )
    peek                ( uint8[]¢& -- uint8[]¢ )
    lvar+0+4 "e"        ( -- uint16& )
    peekmm              ( uint16& -- uint16 )
    atindex             ( uint8[]¢, int16 -- uint8& )
    swap                ( uint8&, uint8& -- )
    jp                  ( -- ) -> L3
    L2:
    drop                ( uint16 -- )
    drop                ( uint16 -- )
    drop                ( uint8[]¢ -- )
  }
}