Make irrelevant changes to regions-mock-tcx to convince the pretty printer to emit the same thing twice in a row