corretta F e aggiunte direttive stampa output SML