Fix FFI declaration checks