MODULE Main;

TYPE T = REF RECORD a: BITS 32 FOR RECORD aa: BOOLEAN; END; END;

BEGIN
  EVAL BITSIZE (T);
END Main.