redefinition_a_b