Array : Passing an array from C to Rust via FFI with #[!no_std]