111 	{ const u32 x18 = in1[8];  in fe_freeze()  local
128 	{ u32 x44; u8/*bool*/ x45 = subborrow_u26(x42, x18, 0x3ffffff, &x44);  in fe_freeze()
447 	{ const u32 x18 = in1[8];  in fe_sqr_impl()  local
464 …{ u64 x27 = (((u64)x10 * x10) + (0x2 * ((((u64)x6 * x14) + ((u64)x2 * x18)) + (0x2 * (((u64)x4 * x…  in fe_sqr_impl()
465 …{ u64 x28 = (0x2 * ((((((u64)x10 * x12) + ((u64)x8 * x14)) + ((u64)x6 * x16)) + ((u64)x4 * x18)) +…  in fe_sqr_impl()
466 …{ u64 x29 = (0x2 * (((((u64)x12 * x12) + ((u64)x10 * x14)) + ((u64)x6 * x18)) + (0x2 * (((u64)x8 *…  in fe_sqr_impl()
467 	{ u64 x30 = (0x2 * (((((u64)x12 * x14) + ((u64)x10 * x16)) + ((u64)x8 * x18)) + ((u64)x6 * x17)));  in fe_sqr_impl()
468 …{ u64 x31 = (((u64)x14 * x14) + (0x2 * (((u64)x10 * x18) + (0x2 * (((u64)x12 * x16) + ((u64)x8 * x…  in fe_sqr_impl()
469 	{ u64 x32 = (0x2 * ((((u64)x14 * x16) + ((u64)x12 * x18)) + ((u64)x10 * x17)));  in fe_sqr_impl()
470 	{ u64 x33 = (0x2 * ((((u64)x16 * x16) + ((u64)x14 * x18)) + ((u64)(0x2 * x12) * x17)));  in fe_sqr_impl()
471 	{ u64 x34 = (0x2 * (((u64)x16 * x18) + ((u64)x14 * x17)));  in fe_sqr_impl()
472 	{ u64 x35 = (((u64)x18 * x18) + ((u64)(0x4 * x16) * x17));  in fe_sqr_impl()
473 	{ u64 x36 = ((u64)(0x2 * x18) * x17);  in fe_sqr_impl()