144 	{ u32 x84; u8/*bool*/ x85 = addcarryx_u26(x81, x44, x82, &x84);  in fe_freeze()  local
146 	{ u32 x88; addcarryx_u25(x85, x47, x86, &x88);  in fe_freeze()
375 	{ u64 x85 = (x84 + x50);  in fe_mul_impl()  local
376 	{ u64 x86 = (x85 >> 0x1a);  in fe_mul_impl()
377 	{ u32 x87 = ((u32)x85 & 0x3ffffff);  in fe_mul_impl()
518 	{ u64 x85 = (x83 + x43);  in fe_sqr_impl()  local
519 	{ u64 x86 = (x85 >> 0x19);  in fe_sqr_impl()
520 	{ u32 x87 = ((u32)x85 & 0x1ffffff);  in fe_sqr_impl()
698 	{ u64 x85 = (x84 + x50);  in fe_mul_121666_impl()  local
699 	{ u64 x86 = (x85 >> 0x1a);  in fe_mul_121666_impl()
700 	{ u32 x87 = ((u32)x85 & 0x3ffffff);  in fe_mul_121666_impl()