Disassembling from bytecode file: top.lp
Bytecode version: 3
Module name: top

LABEL               INSTRUCTION              OPERANDS

                    fail                     
L3                  trust_me                 #1
                    proceed                  
L4                  retry_me_else            #1, L0
                    proceed                  
L0                  trust_me                 #1
                    proceed                  
L6                  trust_me                 #1
                    proceed                  
L9                  retry_me_else            #1, L1
                    proceed                  
L1                  retry_me_else            #1, L2
                    proceed                  
L2                  trust_me                 #1
                    proceed                  
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
foo1                try_me_else              #1, L3
                    proceed                  
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
foo2                try_me_else              #1, L4
                    proceed                  
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
foo3                try_me_else              #1, L5
                    proceed                  
L5                  retry_me_else            #1, L6
                    proceed                  
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
foo4                try_me_else              #1, L7
                    proceed                  
L7                  retry_me_else            #1, L8
                    proceed                  
L8                  retry_me_else            #1, L9
                    proceed                  

Global kind table:
0: i/0

Local kind table:

Type skeleton table:
0: i -> o
1: i -> o

Global constant table: 
0: foo1 (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0
1: foo2 (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0
2: foo3 (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0
3: foo4 (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0

Local constant table: 

Hidden constant table: 

String table:

Implication Tables:

Hash tables:

Import tables:

  Import table:
    number of code segments: 0
    Next clause table: 0
    Local constant table: 0
    Find function type: hash
    Search table: 4
   foo1
   foo2
   foo3
   foo4

Accumulated tables:

Imported tables:
