Which of the following is an example of data type validation?