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