twelf/examples/tabled/ccc
