execution: PASS
Tested implicitly via assertions 1 and 4.