% static scoping test let var a := 2 function f(x:int) : int = x+a in let var a := f(a) in printf("a in this scope is: %d\n",a); printf("7 if static, 9 if dynamic: %d\n",f(5)) end end $