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

LABEL               INSTRUCTION              OPERANDS

L6                  fail                     
foo                 switch_on_reg            #1, L4, L5
L4                  try                      #1, L5
                    trust_ext                #1, #1
                    try_me_else              #0, L6
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
L12                 retry_me_else            #1, L7
L3                  get_m_constant           A1, a
                    finish_unify             
                    proceed                  
L7                  trust_me                 #1
L2                  get_m_constant           A1, b
                    finish_unify             
                    proceed                  
                    fail                     
                    fail                     
L8                  fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    fail                     
                    try_me_else              #0, L8
L5                  switch_on_term           L9, L10, L8, L9
L9                  try_me_else              #1, L11
L1                  get_m_constant           A1, c
                    finish_unify             
                    proceed                  
L11                 retry_me_else            #1, L12
L0                  get_m_constant           A1, d
                    finish_unify             
                    proceed                  
L10                 switch_on_constant       #4, <hash #1>

Global kind table:
0: i/0

Local kind table:

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

Global constant table: 
0: foo (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #0
1: a (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #1
2: b (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #1
3: c (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #1
4: d (No Fixity, precedence 0)
    Env Size: 0, Type Skeleton: #1

Local constant table: 

Hidden constant table: 

String table:

Implication Tables:

Hash tables:
0:
    Table size: 0
    Constants:
1:
    Table size: 4
    Constants:
    d -> L0
    c -> L1
    b -> L2
    a -> L3

Import tables:

  Import table:
    number of code segments: 0
    Next clause table: 1
   foo
    Local constant table: 0
    Find function type: hash
    Search table: 1
   foo

Accumulated tables:

Imported tables:
