x ==>   x
x ==>  42
x ==>  12
