I only need it to be 64-bit when print_seq_time is true. I just modified the code to make it right.