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