It seems to me the T, I values are getting swapped when a Timestamp is read. This change returns the high 32 bits, T, first and the low 32 bits, I, second to match the caller expected order (in same file).