El tipo "option" es un tipo de unión discriminada con elección codice_18 o codice_19.