222 static void fe_add_impl(u32 out[10], const u32 in1[10], const u32 in2[10])  in fe_add_impl()
234 	{ const u32 x38 = in2[9];  in fe_add_impl()
235 	{ const u32 x39 = in2[8];  in fe_add_impl()
236 	{ const u32 x37 = in2[7];  in fe_add_impl()
237 	{ const u32 x35 = in2[6];  in fe_add_impl()
238 	{ const u32 x33 = in2[5];  in fe_add_impl()
239 	{ const u32 x31 = in2[4];  in fe_add_impl()
240 	{ const u32 x29 = in2[3];  in fe_add_impl()
241 	{ const u32 x27 = in2[2];  in fe_add_impl()
242 	{ const u32 x25 = in2[1];  in fe_add_impl()
243 	{ const u32 x23 = in2[0];  in fe_add_impl()
265 static void fe_sub_impl(u32 out[10], const u32 in1[10], const u32 in2[10])  in fe_sub_impl()
277 	{ const u32 x38 = in2[9];  in fe_sub_impl()
278 	{ const u32 x39 = in2[8];  in fe_sub_impl()
279 	{ const u32 x37 = in2[7];  in fe_sub_impl()
280 	{ const u32 x35 = in2[6];  in fe_sub_impl()
281 	{ const u32 x33 = in2[5];  in fe_sub_impl()
282 	{ const u32 x31 = in2[4];  in fe_sub_impl()
283 	{ const u32 x29 = in2[3];  in fe_sub_impl()
284 	{ const u32 x27 = in2[2];  in fe_sub_impl()
285 	{ const u32 x25 = in2[1];  in fe_sub_impl()
286 	{ const u32 x23 = in2[0];  in fe_sub_impl()
308 static void fe_mul_impl(u32 out[10], const u32 in1[10], const u32 in2[10])  in fe_mul_impl()
320 	{ const u32 x38 = in2[9];  in fe_mul_impl()
321 	{ const u32 x39 = in2[8];  in fe_mul_impl()
322 	{ const u32 x37 = in2[7];  in fe_mul_impl()
323 	{ const u32 x35 = in2[6];  in fe_mul_impl()
324 	{ const u32 x33 = in2[5];  in fe_mul_impl()
325 	{ const u32 x31 = in2[4];  in fe_mul_impl()
326 	{ const u32 x29 = in2[3];  in fe_mul_impl()
327 	{ const u32 x27 = in2[2];  in fe_mul_impl()
328 	{ const u32 x25 = in2[1];  in fe_mul_impl()
329 	{ const u32 x23 = in2[0];  in fe_mul_impl()
630 /* NOTE: based on fiat-crypto fe_mul, edited for in2=121666, 0, 0.*/