void dispatch_rpc() returns a value