TINT


An interpreted version of JOVIAL.