150 	{ u32 x88; addcarryx_u25(x85, x47, x86, &x88);  in fe_freeze()  local
160 	out[9] = x88;  in fe_freeze()
382 	{ u64 x88 = (x86 + x82);  in fe_mul_impl()  local
383 	{ u64 x89 = (x88 >> 0x19);  in fe_mul_impl()
384 	{ u32 x90 = ((u32)x88 & 0x1ffffff);  in fe_mul_impl()
525 	{ u64 x88 = (x86 + x40);  in fe_sqr_impl()  local
526 	{ u64 x89 = (x88 >> 0x1a);  in fe_sqr_impl()
527 	{ u32 x90 = ((u32)x88 & 0x3ffffff);  in fe_sqr_impl()
705 	{ u64 x88 = (x86 + x82);  in fe_mul_121666_impl()  local
706 	{ u64 x89 = (x88 >> 0x19);  in fe_mul_121666_impl()
707 	{ u32 x90 = ((u32)x88 & 0x1ffffff);  in fe_mul_121666_impl()