131 	{ u32 x50 = (x49 & 0x3ffffed);  in fe_freeze()  local
132 	{ u32 x52; u8/*bool*/ x53 = addcarryx_u26(0x0, x20, x50, &x52);  in fe_freeze()
344 …{ u64 x50 = (((((0x2 * ((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * …  in fe_mul_impl()  local
377 	{ u64 x83 = (x40 + (x50 << 0x4));  in fe_mul_impl()
378 	{ u64 x84 = (x83 + (x50 << 0x1));  in fe_mul_impl()
379 	{ u64 x85 = (x84 + x50);  in fe_mul_impl()
487 	{ u64 x50 = (x23 + (x33 << 0x4));  in fe_sqr_impl()  local
488 	{ u64 x51 = (x50 + (x33 << 0x1));  in fe_sqr_impl()
667 …{ u64 x50 = (((((0x2 * ((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * …  in fe_mul_121666_impl()  local
700 	{ u64 x83 = (x40 + (x50 << 0x4));  in fe_mul_121666_impl()
701 	{ u64 x84 = (x83 + (x50 << 0x1));  in fe_mul_121666_impl()
702 	{ u64 x85 = (x84 + x50);  in fe_mul_121666_impl()