module Main (main) where

import Jon.Main (main)