Diff checkpolicy-3.5 with a checkpolicy-9999

Thank you!