l4/tool/dice/examples/fpage2/idl
