cert-dcl03-c

The cert-dcl03-c checker is an alias, please see misc-static-assert for more information.