twelf/examples/ccc
