NAME : SCOPE : PARENT : TYPE : EXTRA ANNOTATION : ------------------------------:--------:--------:-----------------------------------:-----------------------------------: make_list : 001001 : : undefined : Function Definition bar2 : 001001 : : undefined : Function Definition bar1 : 001001 : : undefined : Function Definition foo : 001001 : : undefined : Function Definition list : 001001 : : integer -> llnode : Type of Function llnode : 001001 : : Record Type : elements-3 size-24 bytes T2 : 001001 : : rec -> integer : Type of Function T1 : 001001 : : integer -> integer : Type of Function rec : 001001 : : Record Type : elements-2 size-8 bytes entry : 001001 : : undefined : Function Definition main : 001001 : : string -> integer : Type of Function 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 ------------------------------:--------:--------:-----------------------------------:-----------------------------------: li : 069000 : 001001 : llnode : Record Instance w : 069000 : 001001 : rec : Record Instance result : 069000 : 001001 : integer : Primitive Instance arg : 069000 : 001001 : string : Array Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: r : 054000 : 001001 : integer : Primitive Instance s : 054000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: x : 059012 : 054000 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 062028 : 059012 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 055021 : 054000 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 056026 : 055021 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: a : 050000 : 001001 : integer : Primitive Instance b : 050000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: x : 046000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: temp : 016000 : 001001 : address : Primitive Instance curr : 016000 : 001001 : address : Primitive Instance ret : 016000 : 001001 : address : Primitive Instance orig_a : 016000 : 001001 : integer : Primitive Instance a : 016000 : 001001 : integer : Primitive Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 021012 : 016000 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 026023 : 021012 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 035020 : 026023 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 031034 : 026023 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: : 019029 : 016000 : : Empty Scope ------------------------------:--------:--------:-----------------------------------:-----------------------------------: next : 008000 : 001001 : llnode : Record Instance val : 008000 : 001001 : integer : Primitive Instance prev : 008000 : 001001 : llnode : Record Instance ------------------------------:--------:--------:-----------------------------------:-----------------------------------: y : 004000 : 001001 : integer : Primitive Instance x : 004000 : 001001 : integer : Primitive Instance