Source position: googleandroidenterprise.pp line 1158
type TEnterprisesEnrollOptions = record
token: string;
end;