execution: PASS
Tested implicitly via assertion 13,14,15,16,17,18,19.  See output for status