MODULE Main;

IMPORT A, B;

BEGIN
  EVAL BITSIZE (A.T); (* to get rid of the unused symbol warning *)
  EVAL BITSIZE (B.U); (* to get rid of the unused symbol warning *)
END Main.