ret > ExitSuccess
out > (6 . 7)
