Source position: googleandroidenterprise.pp line 1034
type TTokenPaginationClass = class of TTokenPagination;