replace L_shr_o by overflow-free alternatives