l4/tool/dice/examples/init-rcvstring/server/src
