<Working out the output values of a function machine, if given the input>