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 main : 001001 : : string -> integer : Type of Function entry : 001001 : : main : Function Definition that starts at line 69 rec : 001001 : : Record Type : elements-2 size-8 bytes T1 : 001001 : : integer -> integer : Type of Function T2 : 001001 : : rec -> integer : Type of Function llnode : 001001 : : Record Type : elements-3 size-24 bytes list : 001001 : : integer -> llnode : Type of Function foo : 001001 : : T1 : Function Definition that starts at line 46 bar1 : 001001 : : T2 : Function Definition that starts at line 50 bar2 : 001001 : : T2 : Function Definition that starts at line 54 make_list : 001001 : : list : Function Definition that starts at line 16 ------------------------------:--------:--------:-----------------------------------:-----------------------------------: arg : 069000 : 001001 : string : Array Instance result : 069000 : 001001 : integer : Primitive Instance w : 069000 : 001001 : rec : Record Instance li : 069000 : 001001 : llnode : Record Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: r : 054000 : 001001 : integer : Primitive Instance s : 054000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: x : 059012 : 054000 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: a : 050000 : 001001 : integer : Primitive Instance b : 050000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: x : 046000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: a : 016000 : 001001 : integer : Primitive Instance orig_a : 016000 : 001001 : integer : Primitive Instance ret : 016000 : 001001 : llnode : Record Instance curr : 016000 : 001001 : llnode : Record Instance temp : 016000 : 001001 : llnode : Record Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: prev : 008000 : 001001 : llnode : Record Instance val : 008000 : 001001 : integer : Primitive Instance next : 008000 : 001001 : llnode : Record Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: x : 004000 : 001001 : integer : Primitive Instance y : 004000 : 001001 : integer : Primitive Instance