execution: PASS
Tested implicitly via assertions 10 and 11.