execve("../utils/genprimopcode/genprimopcode", ["../utils/genprimopcode/genprimopcode", "--data-decl"], [/* 31 vars */]) = 0
brk(0)                                  = 0x80b8168
open("/etc/ld.so.preload", O_RDONLY)    = 3
fstat64(3, {st_mode=S_IFREG|0644, st_size=18, ...}) = 0
old_mmap(NULL, 18, PROT_READ|PROT_WRITE, MAP_PRIVATE, 3, 0) = 0x126000
close(3)                                = 0
open("/lib/libsandbox.so", O_RDONLY)    = 3
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3\0\3\0\1\0\0\0\240\35"..., 1024) = 1024
fstat64(3, {st_mode=S_IFREG|0755, st_size=20456, ...}) = 0
old_mmap(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x127000
old_mmap(NULL, 22980, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 0x128000
mprotect(0x12d000, 2500, PROT_NONE)     = 0
old_mmap(0x12d000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED, 3, 0x4000) = 0x12d000
close(3)                                = 0
munmap(0x126000, 18)                    = 0
open("/etc/ld.so.cache", O_RDONLY)      = 3
fstat64(3, {st_mode=S_IFREG|0644, st_size=78213, ...}) = 0
old_mmap(NULL, 78213, PROT_READ, MAP_PRIVATE, 3, 0) = 0x12e000
close(3)                                = 0
open("/usr/lib/libgmp.so.3", O_RDONLY)  = 3
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3\0\3\0\1\0\0\0\320W\0"..., 1024) = 1024
fstat64(3, {st_mode=S_IFREG|0755, st_size=207297, ...}) = 0
old_mmap(NULL, 169428, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 0x142000
mprotect(0x16b000, 1492, PROT_NONE)     = 0
old_mmap(0x16b000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED, 3, 0x28000) = 0x16b000
close(3)                                = 0
open("/lib/libc.so.6", O_RDONLY)        = 3
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3\0\3\0\1\0\0\0X\227\1"..., 1024) = 1024
fstat64(3, {st_mode=S_IFREG|0755, st_size=1395323, ...}) = 0
old_mmap(NULL, 1208928, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 0x16c000
mprotect(0x289000, 41568, PROT_NONE)    = 0
old_mmap(0x289000, 24576, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED, 3, 0x11c000) = 0x289000
old_mmap(0x28f000, 16992, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x28f000
close(3)                                = 0
--- SIGSEGV (Segmentation fault) ---
+++ killed by SIGSEGV +++