l4/tool/dice/examples/ping/server/src
