work towards pat_to_i4_correct