Use 64 bit values for flag debug printing.