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