module Main where

import           VeriFuzz

main :: IO ()
main = defaultMain