128 	{ u32 x52; u8/*bool*/ x53 = addcarryx_u26(0x0, x20, x50, &x52);  in fe_freeze()  local
147 	out[0] = x52;  in fe_freeze()
342 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_impl()  local
367 	{ u64 x77 = (x42 + (x52 << 0x4));  in fe_mul_impl()
368 	{ u64 x78 = (x77 + (x52 << 0x1));  in fe_mul_impl()
369 	{ u64 x79 = (x78 + x52);  in fe_mul_impl()
485 	{ u64 x52 = (x51 + x33);  in fe_sqr_impl()  local
509 	{ u64 x76 = (x74 + x52);  in fe_sqr_impl()
665 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_121666_impl()  local
690 	{ u64 x77 = (x42 + (x52 << 0x4));  in fe_mul_121666_impl()
691 	{ u64 x78 = (x77 + (x52 << 0x1));  in fe_mul_121666_impl()
692 	{ u64 x79 = (x78 + x52);  in fe_mul_121666_impl()