execution: PASS
Tested implicitly via assertions 8 to 12.