Actually, the 64bit format specifier differs between SIXTY_FOUR_BIT and