Integer values that originate from untrusted sources and which are used in the following manner must be guranteed correct:
...
Guarantee that division and modulo operations do not result in divide-by-zero errors
Do not truncate the return value from a character input function