Re: Re: Genode RPC: Handling vector parameters