15a

Evaluating the output of one-step function machines