execution: PASS
Tested implicitly via assertions 1 and 2.