void assert(int expression);

Controlla il valore dato da expression, se expression è falsa scrive un messaggio su standard error e chiama abort per terminare l'esecuzione. Il messaggio d'errore conterrà l'espressione, il nome del file sorgente ed il numero di riga. Questi ultimi due dati saranno dedotti dalle due macro del preprocessore __FILE__ e __LINE__.