{-# OPTIONS -fplugin Simple.Plugin  #-}

module T12567a where