Preprocessor, Interpreted Type Checking, Part 5