I'm trying to generate the field element parameters for helioselene using fiat-crypto but having quite some fun with it stack overflowing even with a 4 GiB stack size

scalar elements worked, and already raised stack to 4 GiB, I guess I'll keep raising it a bit more but it's probably something else :)