Language 7.
> (var x 5)
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]

< [tag->int, valueI->5, valueB->false, valueL->null]
>
> (fun f (lambda x (* x x)))
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]

>
> (apply f 4)
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]
/\
||
[Function Activation Environment
[ x = [tag->int, valueI->4, valueB->false, valueL->null]

< [tag->int, valueI->16, valueB->false, valueL->null]
>
> x
< [tag->int, valueI->5, valueB->false, valueL->null]
> (fun g (lambda y (+ x y)))
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]
[ g = [tag->lambda, valueI->0, valueB->false, valueL->(lambda y (+ x y))]

>
>
> (apply g 3)
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]
[ g = [tag->lambda, valueI->0, valueB->false, valueL->(lambda y (+ x y))]
/\
||
[Function Activation Environment
[ y = [tag->int, valueI->3, valueB->false, valueL->null]

< [tag->int, valueI->8, valueB->false, valueL->null]
>
>
>
> (apply f (apply g 8))
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]
[ g = [tag->lambda, valueI->0, valueB->false, valueL->(lambda y (+ x y))]
/\
||
[Function Activation Environment
[ y = [tag->int, valueI->8, valueB->false, valueL->null]

[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]
[ g = [tag->lambda, valueI->0, valueB->false, valueL->(lambda y (+ x y))]
/\
||
[Function Activation Environment
[ x = [tag->int, valueI->13, valueB->false, valueL->null]

< [tag->int, valueI->169, valueB->false, valueL->null]
>
>
>
> (fun h (lambda 5))
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]
[ g = [tag->lambda, valueI->0, valueB->false, valueL->(lambda y (+ x y))]
[ h = [tag->lambda, valueI->0, valueB->false, valueL->(lambda 5)]

> (apply h)
[Global Environment
[ x = [tag->int, valueI->5, valueB->false, valueL->null]
[ f = [tag->lambda, valueI->0, valueB->false, valueL->(lambda x (* x x))]
[ g = [tag->lambda, valueI->0, valueB->false, valueL->(lambda y (+ x y))]
[ h = [tag->lambda, valueI->0, valueB->false, valueL->(lambda 5)]
/\
||
[Function Activation Environment

< [tag->int, valueI->5, valueB->false, valueL->null]
>
>