store(1; xv;)
store(1; yv;)

store(
eq(xv() yv())
res;)

if(res()
print(values equal;)
)

if(not(res())
print(values not;)
)