execution: PASS
Tested implicitly via assertions 19, 20 and 21.