taglinefilesource code
mry1067drivers/char/console.cint butt, int mrx, int mry)
mry1072drivers/char/console.c(char)('!' + mry));