l4/tool/dice/examples/simple_idl
