133 	{ u32 x54 = (x49 & 0x1ffffff);  in fe_freeze()  local
134 	{ u32 x56; u8/*bool*/ x57 = addcarryx_u25(x53, x23, x54, &x56);  in fe_freeze()
348 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_impl()  local
365 	{ u64 x71 = (x44 + (x54 << 0x4));  in fe_mul_impl()
366 	{ u64 x72 = (x71 + (x54 << 0x1));  in fe_mul_impl()
367 	{ u64 x73 = (x72 + x54);  in fe_mul_impl()
491 	{ u64 x54 = (x53 + (x32 << 0x1));  in fe_sqr_impl()  local
492 	{ u64 x55 = (x54 + x32);  in fe_sqr_impl()
671 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_121666_impl()  local
688 	{ u64 x71 = (x44 + (x54 << 0x4));  in fe_mul_121666_impl()
689 	{ u64 x72 = (x71 + (x54 << 0x1));  in fe_mul_121666_impl()
690 	{ u64 x73 = (x72 + x54);  in fe_mul_121666_impl()