On 6/22/2013 2:22 AM, Rainer Schuetze wrote: > > Don't want to split hairs, but it is the size of 8 64-bit-pointers for a page. Yeah, you're right! I'm properly chastised.