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