taglinefilesource code
set_get_font1928drivers/char/console.creturn set_get_font (arg,1);
set_get_font1933drivers/char/console.creturn set_get_font (arg,0);