module Imp10 where
import {-# SOURCE #-} Imp10Aux