module T8743a where

import {-# SOURCE #-} T8743 ()