226 static noinline void fe_add_impl(u32 out[10], const u32 in1[10], const u32 in2[10])  in fe_add_impl()
238 	{ const u32 x38 = in2[9];  in fe_add_impl()
239 	{ const u32 x39 = in2[8];  in fe_add_impl()
240 	{ const u32 x37 = in2[7];  in fe_add_impl()
241 	{ const u32 x35 = in2[6];  in fe_add_impl()
242 	{ const u32 x33 = in2[5];  in fe_add_impl()
243 	{ const u32 x31 = in2[4];  in fe_add_impl()
244 	{ const u32 x29 = in2[3];  in fe_add_impl()
245 	{ const u32 x27 = in2[2];  in fe_add_impl()
246 	{ const u32 x25 = in2[1];  in fe_add_impl()
247 	{ const u32 x23 = in2[0];  in fe_add_impl()
269 static noinline void fe_sub_impl(u32 out[10], const u32 in1[10], const u32 in2[10])  in fe_sub_impl()
281 	{ const u32 x38 = in2[9];  in fe_sub_impl()
282 	{ const u32 x39 = in2[8];  in fe_sub_impl()
283 	{ const u32 x37 = in2[7];  in fe_sub_impl()
284 	{ const u32 x35 = in2[6];  in fe_sub_impl()
285 	{ const u32 x33 = in2[5];  in fe_sub_impl()
286 	{ const u32 x31 = in2[4];  in fe_sub_impl()
287 	{ const u32 x29 = in2[3];  in fe_sub_impl()
288 	{ const u32 x27 = in2[2];  in fe_sub_impl()
289 	{ const u32 x25 = in2[1];  in fe_sub_impl()
290 	{ const u32 x23 = in2[0];  in fe_sub_impl()
312 static noinline void fe_mul_impl(u32 out[10], const u32 in1[10], const u32 in2[10])  in fe_mul_impl()
324 	{ const u32 x38 = in2[9];  in fe_mul_impl()
325 	{ const u32 x39 = in2[8];  in fe_mul_impl()
326 	{ const u32 x37 = in2[7];  in fe_mul_impl()
327 	{ const u32 x35 = in2[6];  in fe_mul_impl()
328 	{ const u32 x33 = in2[5];  in fe_mul_impl()
329 	{ const u32 x31 = in2[4];  in fe_mul_impl()
330 	{ const u32 x29 = in2[3];  in fe_mul_impl()
331 	{ const u32 x27 = in2[2];  in fe_mul_impl()
332 	{ const u32 x25 = in2[1];  in fe_mul_impl()
333 	{ const u32 x23 = in2[0];  in fe_mul_impl()
634 /* NOTE: based on fiat-crypto fe_mul, edited for in2=121666, 0, 0.*/