execution: PASS
Tested implicitly via assertion 10,11,12,13.  See output for status