l4/tool/dice/examples/l4str/server/src
