if platform()=LINUX then
    {} = system_exec("xrandr -s 640x480")
    sleep(3)
    {} = system_exec("xrandr -s 1280x960")
else -- WINDOWS
    puts(1,"") -- (ensure console exists)
    system("mode CON: COLS=40 LINES=25")
    sleep(3)
    system("mode CON: COLS=80 LINES=25")
end if