Type Checking Is Done During