MODULE TBadOpaque;
TYPE T;
BEGIN
END TBadOpaque.