set_videomode
saved_videomode = set_videomode(0x12);
set_videomode(saved_videomode);
int set_videomode (int mode);