exec rpn -p 4 2 3 /
stdout '0.6667\n'