hack/src/Dummy.m3

MODULE Dummy EXPORTS Main;

BEGIN END Dummy.