Pruebas de la nueva rutina glk_screen_get_size(width, height) según el commit 6b22b1d de nuestro garglk