printf("(%3d) Thread: %-2d Action: %-13s MO: %7s Loc: %14p Value: %-12" PRIu64,
seq_number, id_to_int(tid), type_str, mo_str, location, valuetoprint);
printf("(%3d) Thread: %-2d Action: %-13s MO: %7s Loc: %14p Value: %-12" PRIu64,
seq_number, id_to_int(tid), type_str, mo_str, location, valuetoprint);