Disassembling from bytecode file: top.lpo
Bytecode version: 2
Module name: top

LABEL               INSTRUCTION              OPERANDS

L0                  fail                     
                    try_me_else              #0, L0
<local const #0>    proceed                  
<local const #1>    try_me_else              #1, L1
                    proceed                  
L1                  trust_me                 #1
                    proceed                  
                    try_me_else              #0, L0
<local const #2>    proceed                  
<local const #3>    try_me_else              #1, L2
                    proceed                  
L2                  retry_me_else            #1, L3
                    proceed                  
L3                  trust_me                 #1
                    proceed                  

Global kind table:
0: i/0

Local kind table:

Type skeleton table:
0: i -> o

Global constant table: 

Local constant table: 
0:  (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0
1:  (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0
2:  (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0
3:  (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0

Hidden constant table: 

String table:

Implication Tables:

Hash tables:

Module table:
  Predicate definitions possibly extending previous ones: 0
  Exportdef predicates: 0
  Local predicates: 4
   <local const #0>
   <local const #1>
   <local const #2>
   <local const #3>
  Find function type: hash
  In-core table size: 4
   <local const #0>
   <local const #1>
   <local const #2>
   <local const #3>

Accumulated tables:
0: acc
    Kind renamings:
    i -> i
    Constant renamings:
    foo4 -> <local const #3>
    foo3 -> <local const #2>
    foo2 -> <local const #1>
    foo1 -> <local const #0>

Imported tables:
