MODULE TMin; BEGIN END TMin.