codice_42 es la lista vacía y codice_43 es una cons cell de un tipo codice_7 con otro enlace también de tipo codice_7.