C_trace(0x40d4f5, 0x7fffaf19ae48, 0x2400000000000007, 0x4040d0, 14)             = 0x29738c0
C_trace(0x40e57f, 0x2c39d90, 0x2c39588, 0x2c39d90, 0x2400000000000006)          = 0x2973860
C_trace(0x40e001, 0x7fffaf247bb0, 30, 0x2400000000000005, 30)                   = 0x2973840
C_2_minus(0x7fffaf234c78, 19715, 4097, 0x7fffaf2478d0, 30)                      = 15619
C_trace(0x40d92e, 0, 7809, 0x7fffaf2478d0, 30)                                  = 15619
C_trace(0x40d919, 0x2973840, 15619, 0x7fffaf2478d0, 0x2973840)                  = 0x29738c0
C_i_zerop(15619, 0x7fffaf234c08, 4097, 0x4040d0, 14)                            = 6
C_trace(0x40d4f5, 0x7fffaf234c08, 0x2400000000000007, 0x4040d0, 14)             = 0x29738c0
C_trace(0x40e57f, 0x2c3ae30, 0x2c3a5e0, 0x2c3ae30, 0x2400000000000006)          = 0x2973860
C_trace(0x40e001, 0x7fffaf1e2440, 30, 0x2400000000000005, 30)                   = 0x2973840
C_2_minus(0x7fffaf1cf508, 15619, 4097, 0x7fffaf1e2160, 30)                      = 11523
C_trace(0x40d92e, 0, 5761, 0x7fffaf1e2160, 30)                                  = 11523
C_trace(0x40d919, 0x2973840, 11523, 0x7fffaf1e2160, 0x2973840)                  = 0x29738c0
C_i_zerop(11523, 0x7fffaf1cf498, 4097, 0x4040d0, 14)                            = 6
C_trace(0x40d4f5, 0x7fffaf1cf498, 0x2400000000000007, 0x4040d0, 14)             = 0x29738c0
C_trace(0x40e57f, 0x2c3bd48, 0x2c3b540, 0x2c3bd48, 0x2400000000000006)          = 0x2973860
C_trace(0x40e001, 0x7fffaf17d790, 30, 0x2400000000000005, 30)                   = 0x2973840
C_2_minus(0x7fffaf26a818, 11523, 4097, 0x2c3c0d8, 30)                           = 7427
C_trace(0x40d92e, 0, 3713, 0x2c3c0d8, 30)                                       = 7427
C_trace(0x40d919, 0x2973840, 7427, 0x2c3c0d8, 0x2973840)                        = 0x29738c0
C_i_zerop(7427, 0x7fffaf26a7a8, 4097, 0x4040d0, 14)                             = 6
C_trace(0x40d4f5, 0x7fffaf26a7a8, 0x2400000000000007, 0x4040d0, 14)             = 0x29738c0
C_trace(0x40e57f, 0x2c3c540, 0x2c3c580, 0x2c3c540, 0x2400000000000006)          = 0x2973860
C_trace(0x40e001, 0x7fffaf218af0, 30, 0x2400000000000005, 30)                   = 0x2973840
C_2_minus(0x7fffaf205bb8, 7427, 4097, 0x7fffaf218810, 30)                       = 3331
C_trace(0x40d92e, 0, 1665, 0x7fffaf218810, 30)                                  = 3331
C_trace(0x40d919, 0x2973840, 3331, 0x7fffaf218810, 0x2973840)                   = 0x29738c0
C_i_zerop(3331, 0x7fffaf205b48, 3331, 0x4040d0, 14)                             = 6
C_trace(0x40d4f5, 0x7fffaf205b48, 0x2400000000000007, 0x4040d0, 14)             = 0x29738c0
C_trace(0x40e57f, 0x2c3d470, 0x2c3d4b0, 0x2c3d470, 0x2400000000000006)          = 0x2973860
C_trace(0x40e001, 0x7fffaf2220a0, 30, 0x2400000000000005, 30)                   = 0x2973840
C_2_minus(0x7fffaf20f248, 3331, 3331, 0x7fffaf221dc0, 30)                       = 1
C_trace(0x40d92e, 0, 0, 0x7fffaf221dc0, 30)                                     = 1
C_trace(0x40d919, 0x2973840, 1, 0x7fffaf221dc0, 0x2973840)                      = 0x29738c0
C_i_zerop(1, 0x7fffaf20f1d8, 1, 0x4040d0, 14)                                   = 22
C_trace(0x40e0f0, 0x2973840, 22, 0x2973840, 14)                                 = 0
--- SIGSEGV (Segmentation fault) ---
+++ killed by SIGSEGV +++