We’re getting a segfault in the zkLLVM transpiler and that’s a bug in the transpiler - it’s up to the zkLLVM team to fix it. They said some time ago that they’ll work on it, but it’ll take them more time to fix this particular bug. Previously, they’ve been fixing relatively quickly other bugs I encountered or adding necessary features. It’s not clear whether this one is the last bug.