An implementation of a statically typed OO language for teaching static analysis techniques.