Source position: googlegmail.pp line 47
type THistoryMessageDeletedArray = array of THistoryMessageDeleted;