PList (in Utils): conversion from UINTN to unsigned int