execution: PASS
Tested implicitly via assertions 32 to 42.