Slightly more interesting examples in t.tt