Some FFI tests