130 	{ u32 x49 = cmovznz32(x48, 0x0, 0xffffffff);  in fe_freeze()  local
131 	{ u32 x50 = (x49 & 0x3ffffed);  in fe_freeze()
133 	{ u32 x54 = (x49 & 0x1ffffff);  in fe_freeze()
135 	{ u32 x58 = (x49 & 0x3ffffff);  in fe_freeze()
137 	{ u32 x62 = (x49 & 0x1ffffff);  in fe_freeze()
139 	{ u32 x66 = (x49 & 0x3ffffff);  in fe_freeze()
141 	{ u32 x70 = (x49 & 0x1ffffff);  in fe_freeze()
143 	{ u32 x74 = (x49 & 0x3ffffff);  in fe_freeze()
145 	{ u32 x78 = (x49 & 0x1ffffff);  in fe_freeze()
147 	{ u32 x82 = (x49 & 0x3ffffff);  in fe_freeze()
149 	{ u32 x86 = (x49 & 0x1ffffff);  in fe_freeze()
343 …{ u64 x49 = (((((((((((u64)x31 * x15) + ((u64)x33 * x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) …  in fe_mul_impl()  local
406 	{ u64 x112 = (x110 + x49);  in fe_mul_impl()
486 	{ u64 x49 = (x48 + x34);  in fe_sqr_impl()  local
516 	{ u64 x79 = (x77 + x49);  in fe_sqr_impl()
666 …{ u64 x49 = (((((((((((u64)x31 * x15) + ((u64)x33 * x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) …  in fe_mul_121666_impl()  local
729 	{ u64 x112 = (x110 + x49);  in fe_mul_121666_impl()