134 	{ u32 x56; u8/*bool*/ x57 = addcarryx_u25(x53, x23, x54, &x56);  in fe_freeze()  local
136 	{ u32 x60; u8/*bool*/ x61 = addcarryx_u26(x57, x26, x58, &x60);  in fe_freeze()
351 	{ u64 x57 = (((u64)x39 * x20) + ((u64)x38 * x21));  in fe_mul_impl()  local
356 	{ u64 x62 = (x47 + (x57 << 0x4));  in fe_mul_impl()
357 	{ u64 x63 = (x62 + (x57 << 0x1));  in fe_mul_impl()
358 	{ u64 x64 = (x63 + x57);  in fe_mul_impl()
494 	{ u64 x57 = (x56 + (x31 << 0x1));  in fe_sqr_impl()  local
495 	{ u64 x58 = (x57 + x31);  in fe_sqr_impl()
674 	{ u64 x57 = (((u64)x39 * x20) + ((u64)x38 * x21));  in fe_mul_121666_impl()  local
679 	{ u64 x62 = (x47 + (x57 << 0x4));  in fe_mul_121666_impl()
680 	{ u64 x63 = (x62 + (x57 << 0x1));  in fe_mul_121666_impl()
681 	{ u64 x64 = (x63 + x57);  in fe_mul_121666_impl()