exec echo 10 10 +
stdin stdout
exec testrpn
[unix] stdout '20\n'