opcodes[]:

global scope global
{
  global scope implicit__revert__6uint32AEC_6uint16_6uint16_
  {
  }

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