Highly verbose, but can be toned down to a reasonable level using the right flags, or the right annotations. Knows something about such weird issues as ANSI C namespaces, and will warn against E* or str* identifiers, for instance.