Modula-2 Extension of

Modula-3* 1 Derivation of
1