module Main (module Autoexporter) where

import Autoexporter (main)