Re: [PATCH 02/17] dtoc: Add support for reading 64-bit ints