store(14; var1;)
store(12; var2;)

store(
eq(var1() var2())
res;)

print(var1())

if(res()
print(equals;)
)

if(not(res())
print(does not equal;)
)

print(var2())