execution: PASS
Tested implicitly via assertion 15.