module Main where
import Examples (runTests)
main=runTests