Source position: googleandroidenterprise.pp line 96
type TTokenPaginationArray = array of TTokenPagination;