Dbl_and_signs
Dbl_and_signs(leftp1,/*with*/rightp1);
Dbl_and_signs(leftp1,/*with*/rightp1);
Dbl_and_signs(opnd3p1,resultp1);
Dbl_and_signs(opnd3p1,resultp1);
Dbl_and_signs(opnd3p1,resultp1);
Dbl_and_signs(opnd3p1,resultp1);