pub fn native_destroy_empty(
    context: &mut NativeContext<'_>,
    ty_args: Vec<Type>,
    args: VecDeque<Value>
) -> PartialVMResult<NativeResult>