https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79827
--- Comment #8 from Petr Křížek <pkrizek at tes dot cz> --- I raised the stack to 32768 KiB. Then the genautomata passed without segfault. Also other GCC segfaults disappeared. This is a bit non-intuitive behavior. Maybe we should introduce a warning telling the user that the stack is suspiciously small?
