The process by which the C compiler ensures that functions and operators use data
of the appropriate type(s). This form of check helps ensure the semantic correctness
of the program.