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