module m1; import own msynthetic; import own m2; import own m2replace;