module Main (main) where

import Spec (main)