module Main where import A main = return () a = val