execution: PASS
Tested implicitly via assertions 12 to 15.