Source position: googlegmail.pp line 65
type THistoryTypelabelsAddedArray = array of THistoryLabelAdded;