Scenario-C (@verify_c)