Siguiente: Enseñar a Razonar sobre la Ejecución de Código a Modelos de Lenguaje Grandes