A bit of infrastructure for the reordering prototype