execution: PASS
Tested implicitly via assertions 25, 26 and 27.