Molly-3 is an implementation of Modula-3.