module Main (main) where

import Gyehoek.Driver qualified


main = Gyehoek.Driver.main