execution: PASS
Tested implicitly via assertion 6.  Sett output for status.