stdin input.txt exec testrpn [unix] stdout 'Available configuration commands' -- input.txt -- ?