proc mmodule_same_as_proc*(x: string) = discard