NAME                          : SCOPE  : PARENT : TYPE                              : EXTRA ANNOTATION                  :
------------------------------:--------:--------:-----------------------------------:-----------------------------------:
integer                       : 001001 :        : Primitive Type                    : size-4 bytes                      
address                       : 001001 :        : Primitive Type                    : size-8 bytes                      
character                     : 001001 :        : Primitive Type                    : size-1 bytes                      
string                        : 001001 :        : 1 -> character                    : Type of Array                     
Boolean                       : 001001 :        : Primitive Type                    : size-1 bytes                      
reserve type                  : 001001 :        : integer -> address                : Type of Function                  
reserve                       : 001001 :        : reserve type                      : Function not defined before runtime
release type                  : 001001 :        : address -> integer                : Type of Function                  
release                       : 001001 :        : release type                      : Function not defined before runtime
rec                           : 001001 :        : Record Type                       : elements-2 size-8 bytes           
T1                            : 001001 :        : integer -> integer                : Type of Function                  
T2                            : 001001 :        : rec -> integer                    : Type of Function                  
arr                           : 001001 :        : 1 -> integer                      : Type of Array                     
main                          : 001001 :        : string -> integer                 : Type of Function                  
entry                         : 001001 :        : main                              : Function Definition that starts at line 25
foo                           : 001001 :        : T1                                : Function Definition that starts at line 13
bar1                          : 001001 :        : T2                                : Function Definition that starts at line 17
bar2                          : 001001 :        : T2                                : Function Definition that starts at line 21
------------------------------:--------:--------:-----------------------------------:-----------------------------------:
arg                           : 025000 : 001001 : string                            : Array Instance                    
result                        : 025000 : 001001 : integer                           : Primitive Instance                
w                             : 025000 : 001001 : rec                               : Record Instance                   
------------------------------:--------:--------:-----------------------------------:-----------------------------------:
r                             : 021000 : 001001 : integer                           : Primitive Instance                
s                             : 021000 : 001001 : integer                           : Primitive Instance                
------------------------------:--------:--------:-----------------------------------:-----------------------------------:
x                             : 017000 : 001001 : integer                           : Primitive Instance                
y                             : 017000 : 001001 : integer                           : Primitive Instance                
------------------------------:--------:--------:-----------------------------------:-----------------------------------:
x                             : 013000 : 001001 : integer                           : Primitive Instance                
------------------------------:--------:--------:-----------------------------------:-----------------------------------:
x                             : 001000 : 001001 : integer                           : Primitive Instance                
y                             : 001000 : 001001 : integer                           : Primitive Instance