Title: Some useful modula-3 interfaces