model: compliance_provides_int
p.hello
<non-compliance>
