MODULE Main EXPORTS Main, A;

IMPORT Text;

PROCEDURE P (t: T): T =
  BEGIN
    RETURN t;
  END P;

BEGIN
  EVAL BITSIZE (Text.T);
END Main.