¿Qué dice el código penal sobre la figura de "traición a la patria"?