Source position: googlegmail.pp line 68
type THistoryTypemessagesAddedArray = array of THistoryMessageAdded;