taglinefilesource code
set_get_font2270drivers/char/console.creturn set_get_font (arg,1);
set_get_font2275drivers/char/console.creturn set_get_font (arg,0);