taglinefilesource code
ask_value462drivers/sound/configure.cnum = ask_value ("%d", defa);
ask_value474drivers/sound/configure.cnum = ask_value ("%x", defa);