Modula-2 implementation overview