Source position: googlegmail.pp line 63
type THistoryTypemessagesDeletedArray = array of THistoryMessageDeleted;