* ctypes has bugs (exposed by test_ctypes, but also backend/x86 tests
  segfaulting every now and then)