135 	{ u32 x58 = (x49 & 0x3ffffff);  in fe_freeze()  local
136 	{ u32 x60; u8/*bool*/ x61 = addcarryx_u26(x57, x26, x58, &x60);  in fe_freeze()
352 	{ u64 x58 = ((u64)(0x2 * x38) * x20);  in fe_mul_impl()  local
353 	{ u64 x59 = (x48 + (x58 << 0x4));  in fe_mul_impl()
354 	{ u64 x60 = (x59 + (x58 << 0x1));  in fe_mul_impl()
355 	{ u64 x61 = (x60 + x58);  in fe_mul_impl()
495 	{ u64 x58 = (x57 + x31);  in fe_sqr_impl()  local
507 	{ u64 x70 = (x68 + x58);  in fe_sqr_impl()
675 	{ u64 x58 = ((u64)(0x2 * x38) * x20);  in fe_mul_121666_impl()  local
676 	{ u64 x59 = (x48 + (x58 << 0x4));  in fe_mul_121666_impl()
677 	{ u64 x60 = (x59 + (x58 << 0x1));  in fe_mul_121666_impl()
678 	{ u64 x61 = (x60 + x58);  in fe_mul_121666_impl()