dotnet plugin: Export "dispatch_values" to the .Net code.