module T9204a where
import {-# SOURCE #-} T9204