17a

Evaluating the output of multi-step function machines