execution: PASS
Tested implicitly via assertions 17-21.  See output for status.