module Main (module Demo) where
import Demo (main)