MODULE RBadOpen;
TYPE R = RECORD a : ARRAY OF INTEGER END;
VAR r : R;
BEGIN
END RBadOpen.