Figure 1:
The program
numfun
computing a numeric function, the test input, and the expected test output.