module Mod172_B( module Mod172_C ) where

import Mod172_C