hack/src/Dummy.m3


MODULE Dummy EXPORTS Main;

BEGIN END Dummy.