Type Checking In C Program