Language 6.
> (var x (var y 6))
[Global Environment
 y = [tag->int, valueI->6, valueB->false]]

[Global Environment
 y = [tag->int, valueI->6, valueB->false]
 x = [tag->int, valueI->6, valueB->false]]

[tag->int, valueI->6, valueB->false]
> (var z 7)
[Global Environment
 y = [tag->int, valueI->6, valueB->false]
 x = [tag->int, valueI->6, valueB->false]
 z = [tag->int, valueI->7, valueB->false]]

[tag->int, valueI->7, valueB->false]
> (var a (set z -10))
[Global Environment
 y = [tag->int, valueI->6, valueB->false]
 x = [tag->int, valueI->6, valueB->false]
 z = [tag->int, valueI->-10, valueB->false]]

[Global Environment
 y = [tag->int, valueI->6, valueB->false]
 x = [tag->int, valueI->6, valueB->false]
 z = [tag->int, valueI->-10, valueB->false]
 a = [tag->int, valueI->-10, valueB->false]]

[tag->int, valueI->-10, valueB->false]
>
>
> (var w (if true false 56))
[Global Environment
 y = [tag->int, valueI->6, valueB->false]
 x = [tag->int, valueI->6, valueB->false]
 z = [tag->int, valueI->-10, valueB->false]
 a = [tag->int, valueI->-10, valueB->false]
 w = [tag->bool, valueI->0, valueB->false]]

[tag->bool, valueI->0, valueB->false]
> (var w2 (if false false 56))
[Global Environment
 y = [tag->int, valueI->6, valueB->false]
 x = [tag->int, valueI->6, valueB->false]
 z = [tag->int, valueI->-10, valueB->false]
 a = [tag->int, valueI->-10, valueB->false]
 w = [tag->bool, valueI->0, valueB->false]
 w2 = [tag->int, valueI->56, valueB->false]]

[tag->int, valueI->56, valueB->false]
>