Funzioni predefinite
FUNCTION HALT(msg: STRING)
Questa funzione emette su standard error il messaggio msg
e termina il programma. Il messaggio visualizzato ha la forma:
nome_modulo.nome_funzione(), line numero_linea: msg
dove nome_modulo è il nome del MODULE o dell'IMPLEMENTATION
MODULE, nome_funzione è i nome della funzione e
numero_linea è il numero della linea del sorgente.
Se l'argomento della funzione è la stringa NIL,
il messaggio visualizzato è "HALT".
Il programma viene terminato con una procedura di abort che consente il
debugging dello stato del programma.
| 
M2 Report