module T7878C where

import T7878A