f
x
nil
g
nil
x
f
x
g
y
z
g
f
x
y
z
++
x
nil
x
++
x
g
y
z
g
++
x
y
z
null
nil
true
null
g
x
y
false
mem
nil
y
false
mem
g
x
y
z
or
=
y
z
mem
x
z
mem
x
max
x
not
null
x
max
g
g
nil
x
y
max'
x
y
max
g
g
g
x
y
z
u
max'
max
g
g
x
y
z
u
f
2
nil
0
g
2
++
2
null
1
true
0
false
0
mem
2
or
2
=
2
max
1
not
1
max'
2
u
0
FULL
./TRS/SK90/4.28.trs