13:21:58 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 13:22:28 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 :)