module main { requires auto.mat1c.m0d.ule; requires automodule2; }