-- Hugs failed this test Jan06

module Mod172 where

import Mod172_B (f,g)