Avoid false positives relating to main()