checking module Test2Abs

   circular definitions: f g