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 68 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 45 bar1 : 001001 : : T2 : Function Definition that starts at line 49 bar2 : 001001 : : T2 : Function Definition that starts at line 53 make_list : 001001 : : list : Function Definition that starts at line 16 ------------------------------:--------:--------:-----------------------------------:-----------------------------------: arg : 068000 : 001001 : string : Array Instance result : 068000 : 001001 : integer : Primitive Instance w : 068000 : 001001 : rec : Record Instance li : 068000 : 001001 : llnode : Record Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: r : 053000 : 001001 : integer : Primitive Instance s : 053000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: x : 058012 : 053000 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: ------------------------------:--------:--------:-----------------------------------:-----------------------------------: a : 049000 : 001001 : integer : Primitive Instance b : 049000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: x : 045000 : 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