Il codice rosso è legge: ok definitivo del Senato.