HALMAT

Intermediate language used by HAL/S.