46 	u64 b0_ = b0 + 19 * (b4 >> 51);  in modulo_carry_top()  local
48 	b[0] = b0_;  in modulo_carry_top()
192 		u128 b0_;  in fmul_fmul()  local
203 		b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));  in fmul_fmul()
205 		t[0] = b0_;  in fmul_fmul()
250 	u128 b0_;  in fsquare_fsquare_()  local
260 	b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));  in fsquare_fsquare_()
262 	tmp[0] = b0_;  in fsquare_fsquare_()
401 	u128 b0_;  in fscalar()  local
426 	b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));  in fscalar()
428 	tmp[0] = b0_;  in fscalar()