128 	{ u32 x52; u8/*bool*/ x53 = addcarryx_u26(0x0, x20, x50, &x52);  in fe_freeze()  local
130 	{ u32 x56; u8/*bool*/ x57 = addcarryx_u25(x53, x23, x54, &x56);  in fe_freeze()
343 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((…  in fe_mul_impl()  local
364 	{ u64 x74 = (x43 + (x53 << 0x4));  in fe_mul_impl()
365 	{ u64 x75 = (x74 + (x53 << 0x1));  in fe_mul_impl()
366 	{ u64 x76 = (x75 + x53);  in fe_mul_impl()
486 	{ u64 x53 = (x22 + (x32 << 0x4));  in fe_sqr_impl()  local
487 	{ u64 x54 = (x53 + (x32 << 0x1));  in fe_sqr_impl()
666 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((…  in fe_mul_121666_impl()  local
687 	{ u64 x74 = (x43 + (x53 << 0x4));  in fe_mul_121666_impl()
688 	{ u64 x75 = (x74 + (x53 << 0x1));  in fe_mul_121666_impl()
689 	{ u64 x76 = (x75 + x53);  in fe_mul_121666_impl()