execution: PASS
Tested implicitly via assertions 9 to 11.