MODULE A EXPORTS Main = A END A.