Grazie. Quindi è errata o quantomeno imprecisa la affermazione che il main ritorni int. Grazie anche per la precisazione dell'
codice:
exit
per lo status code, visto che erroneamente avevo scritto che si usciva con standard output o error (cioè ciò che fa uscire e termina è in realtà unicamente exit)