module Main (main)
where
import Semantic (main)