MODULE Main;
IMPORT A;
BEGIN
  EVAL BITSIZE (A.T);
END Main.