Comment by spauldo

That's when you rewrite your codebase in the SPARK dialect of Ada and play innocent when your management questions you about it.