https://nuitka.net/info/segfault.html