C type checking