Cambiado pseudocódigo de int 80