Prime Checker - Algol Typing CST Test