execution: PASS
Tested implicitly via assertion 8,9.  See output for status