Source position: googleandroidenterprise.pp line 1172
type TEnterprisesListOptions = record
domain: string;
end;