__export ShouldSucceed main x;
1 main :: PrelIOBase.IO PrelBase.Z0T ;
1 x :: PrelFloat.Double ;