l4/tool/dice/examples/simple_idl/server
