( "def " "(x):\n    return x+" )
rot
init
tuck
read-num