#lang pl
{call f 3}, [] =>  
       FunVal = < {fun {x} {+ y x}} , [y=1] > 
       Arg =  < 3 >