module T9263 where
  import T9263a