Eureka! Faltaba hacer POP en las sentencias simples que involucraban una
expresión no-void.