Problem
Suppose that you are given a file of employee records (which has been generated by someone else's program). You are to write a program that reads and processes these records. Show that run-time type checks are inevitable, even if you choose to write your program in a statically typed language such as C, C++, or ADA.