size = 3   Test.f = \#1 -> let {#2 = let {#9 = 2} in Prelude:add #1 #9} in Prelude:multiply #2 #2
