MODULE Tst1 EXPORTS Main = A(RealFloat) END Tst1.