Source position: googleandroidenterprise.pp line 1390
type TUsersListOptions = record
email: string;
end;