HALMAT
Intermediate language used by
HAL/S
.