Grazie

Comunque il manuale del gcc ("man gcc") è inutile .... oltre 10000 righe e non spiega manco come far partire un file appena compilato