execution: PASS
Tested implicitly via assertions 15, 16, 17.  See output for status