import contfrom: (Int->((List (*a # Addrmode))->Bool)) {# ARITY _ = 2 #}{# STRICTNESS _ = "1,F" ST #};
import mtransj: ((List Mcode)->(List Mcode)) {# ARITY _ = 1 #}{# STRICTNESS _ = "0,F" ST #};