C Program To Implement Type Checking