Source position: googlegmail.pp line 697
type TUsersHistoryListOptions = record
labelId: string;
maxResults: Integer;
pageToken: string;
startHistoryId: string;
end;