module Main where

import MyLib

main = pure ()