NAME : SCOPE : PARENT : TYPE : EXTRA ANNOTATION : ------------------------------:--------:--------:-----------------------------------:-----------------------------------: bar : 001001 : : undefined : Function Definition entry : 001001 : : undefined : Function Definition main : 001001 : : string -> integer : Type of Function T2 : 001001 : : rec -> integer : Type of Function rec : 001001 : : Record Type : elements-2 size-6 bytes 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-4 bytes reserve type : 001001 : : integer -> address : Type of Function reserve : 001001 : : undefined : Function Definition release type : 001001 : : address -> integer : Type of Function release : 001001 : : undefined : Function Definition ------------------------------:--------:--------:-----------------------------------:-----------------------------------: w : 013000 : 001001 : rec : Record Instance result : 013000 : 001001 : integer : Primitive Instance arg : 013000 : 001001 : string : Array Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 009000 : 001001 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: y : 001000 : 001001 : integer : Primitive Instance x : 001000 : 001001 : character : Primitive Instance