ret > ExitSuccess
out > (0 . (1 . (4 . (9 . (16 . ())))))
