One definition of back_to_back_c0_hazard too much.