MODULE Main;

TYPE
    (* ANSI C does not allow empty structs *)
    R = RECORD END;
BEGIN
  EVAL BYTESIZE (R);
END Main.