module Main (main) where import SemanticCmdLine (main)