testopts = TestOptions (Just RandomSeed) (Just 10000) Nothing Nothing
testopts = TestOptions (Just RandomSeed) (Just 10000) Nothing Nothing
testopts = TestOptions (Just RandomSeed) (Just 10000) Nothing Nothing