read-nums
    push-a
    read-num
    >
f3
unlines