JTS

A simple dialect of JOVIAL.