opcodes[]:

global scope global
{
  global scope implicit__sort-fu-rec
  {
  }

  void sort ( int8* a, int8* e, bool(int8, int8) gt )
  {
    var int8* a
    var int8* e
    var bool(int8, int8) gt
    local scope ANON
      var int8* a0
      var int8* e0
      local scope ANON
        var int8 a_lim
        var int8 e_lim
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+2 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    >=                  ( int8*, int8* -- bool )
    jp_z                ( bool -- ) -> L3
    jp                  ( -- ) -> L2
    L3:
    lvar+2+0 "e"        ( -- int8*& )
    --                  ( int8*& -- )
    L5:
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+2 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    <=                  ( int8*, int8* -- bool )
    jp_nz               ( bool -- ) -> L7
    "sort-fu-rec.h, line 121: assert(a<=e)" ( -- ucs1str )
    abort               ( ucs1str -- )
    L7:
    lvar+2+0 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+4+2 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    -                   ( int8*, int8* -- int16 )
    switch              ( int16 -- ) { 0:L2, 1:L14, 2:L9, dflt:L8, join:L8 }
    L9:
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+2+2 "e"        ( -- int8*& )
    mmpeek              ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+0+4 "gt"       ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L10
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+2 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    swap                ( int8&, int8& -- )
    jp                  ( -- ) -> L10
    L10:
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+2+2 "e"        ( -- int8*& )
    pppeek              ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+0+4 "gt"       ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L12
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+2 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    swap                ( int8&, int8& -- )
    jp                  ( -- ) -> L12
    L12:
    lvar+4+0 "a"        ( -- int8*& )
    ++                  ( int8*& -- )
    L14:
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+2+2 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+0+4 "gt"       ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L2
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+2 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    swap                ( int8&, int8& -- )
    jp                  ( -- ) -> L2
    L8:
    lvar+4+0 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+2 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+4+4 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+2+6 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+0+8 "gt"       ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L18
    lvar+4+4 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+6 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    swap                ( int8&, int8& -- )
    jp                  ( -- ) -> L18
    L18:
    lvar+4+4 "a"        ( -- int8*& )
    peekpp              ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+2+6 "e"        ( -- int8*& )
    peekmm              ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    L20:
    lvar+4+8 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+10 "e"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    >=                  ( int8*, int8* -- bool )
    jp_nz               ( bool -- ) -> L21
    lvar+4+8 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar-6+10 "a_lim"   ( -- int8& )
    peek                ( int8& -- int8 )
    lvar+0+12 "gt"      ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L23
    lvar-8+8 "e_lim"    ( -- int8& )
    peek                ( int8& -- int8 )
    lvar+4+10 "a"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+0+12 "gt"      ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L25
    lvar+4+8 "a"        ( -- int8*& )
    peekpp              ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar-6+10 "a_lim"   ( -- int8& )
    poke                ( int8, int8& -- )
    jp                  ( -- ) -> L22
    L25:
    lvar+4+8 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+10 "e"       ( -- int8*& )
    peekmm              ( int8*& -- int8* )
    swap                ( int8&, int8& -- )
    jp                  ( -- ) -> L22
    L23:
    lvar+4+8 "a"        ( -- int8*& )
    ++                  ( int8*& -- )
    L22:
    lvar+4+8 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+10 "e"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    >=                  ( int8*, int8* -- bool )
    jp_nz               ( bool -- ) -> L21
    lvar-8+8 "e_lim"    ( -- int8& )
    peek                ( int8& -- int8 )
    lvar+2+10 "e"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar+0+12 "gt"      ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L27
    lvar+2+8 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar-6+10 "a_lim"   ( -- int8& )
    peek                ( int8& -- int8 )
    lvar+0+12 "gt"      ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L29
    lvar+2+8 "e"        ( -- int8*& )
    peekmm              ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar-8+10 "e_lim"   ( -- int8& )
    poke                ( int8, int8& -- )
    jp                  ( -- ) -> L20
    L29:
    lvar+4+8 "a"        ( -- int8*& )
    peekpp              ( int8*& -- int8* )
    lvar+2+10 "e"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    swap                ( int8&, int8& -- )
    jp                  ( -- ) -> L20
    L27:
    lvar+2+8 "e"        ( -- int8*& )
    --                  ( int8*& -- )
    jp                  ( -- ) -> L20
    L21:
    lvar+4+8 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    peek                ( int8& -- int8 )
    lvar-6+10 "a_lim"   ( -- int8& )
    peek                ( int8& -- int8 )
    lvar+0+12 "gt"      ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call_procptr        ( int8, int8, bool(int8, int8) -- bool )
    jp_z                ( bool -- ) -> L31
    lvar+2+8 "e"        ( -- int8*& )
    --                  ( int8*& -- )
    jp                  ( -- ) -> L30
    L31:
    lvar+4+8 "a"        ( -- int8*& )
    ++                  ( int8*& -- )
    L30:
    drop                ( int8 -- )
    drop                ( int8 -- )
    lvar+2+4 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar-2+6 "a0"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    -                   ( int8*, int8* -- int16 )
    lvar-4+6 "e0"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+4+8 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    -                   ( int8*, int8* -- int16 )
    >                   ( int16, int16 -- bool )
    jp_z                ( bool -- ) -> L33
    lvar-2+4 "a0"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+6 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+0+8 "gt"       ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call sort           ( int8*, int8*, bool(int8,int8) )
    lvar+2+4 "e"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+4+6 "a"        ( -- int8*& )
    poke                ( int8*, int8*& -- )
    lvar-4+4 "e0"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+2+6 "e"        ( -- int8*& )
    poke                ( int8*, int8*& -- )
    jp                  ( -- ) -> L32
    L33:
    lvar+4+4 "a"        ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar-4+6 "e0"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+0+8 "gt"       ( -- bool(int8, int8)& )
    peek                ( bool(int8, int8)& -- bool(int8, int8) )
    call sort           ( int8*, int8*, bool(int8,int8) )
    lvar-2+4 "a0"       ( -- int8*& )
    peek                ( int8*& -- int8* )
    lvar+4+6 "a"        ( -- int8*& )
    poke                ( int8*, int8*& -- )
    L32:
    drop                ( int8* -- )
    drop                ( int8* -- )
    jp                  ( -- ) -> L5
    L2:
    drop                ( bool(int8, int8) -- )
    drop                ( int8* -- )
    drop                ( int8* -- )
    local scope ANON
    {
      local scope ANON
      {
      }
    }
  }
}