execution: PASS
Tested implicitly via assertion 7.  See output for status