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