Ideally registerizeHarder would coalesce these into a single variable, but that's nontrivial to fix so I haven't worried about it in this PR.