A pool id is a pair of integers generated by a pool each time it allocates a new object. It uniquely identifies the allocated object among all other objects allocated by that pool.

Edit me