Modula-3 Simple Function - Modula Typing CST Test