stack overflow on first try

[zenspider]

I have ~1600 line program that causes a compiler error in zig. This fails immediately on the first (non-verification) step. Is it reasonable to throw a program that large at it?

[zenspider]

https://gist.github.com/zenspider/c9dd6c1690b250ac7385af1f619c5ec6 for the curious