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