test_bits2/ok.bts works on 32-bit, but not 64-bit

because of int 0x80 vs syscall
ok64.bts segfaults for unknown reasons