Implementation Of Type Checking In C