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