Update FFI call to use .value