import mtrans1: ((List Mcode)->(List Mcode)) {# ARITY _ = 1 #}{# STRICTNESS _ = "0,F" ST #};