Add missing declaration
Enable cast checks