Using C FFI