On 12/30/10 10:48 PM, Nils wrote: > - {0xffffffff, {0xffffffff, 0xffffffff}}, > + {0xFFFFFFFF, {0xFFFFFFFF, 0xFFFFFFFF}}, I don't think we should capitalize hexadecimal numbers. We never did (on purpose) anywhere else. Bikeshed, anyone?