Ver originalvoid pantalla() { acquire_screen(); blit(buffer, screen, 0, 0, 0, 0, ancho_pantalla, alto_pantalla); release_screen();}