Re: Genode RPC: Handling vector parameters