DCL00-A. Declare immutable values using const
Do not reuse variable names in sub-scopes
DCL30-C. Initialize automatic variables
DCL31-C. Do not cast away a const specification
DCL32-C. Guarantee identifiers are unique