A trivial example language