tracing segfaults with FFI