char nb_input_buffer[];
nb_input_buffer is the input buffer used inside CoreBASIC to gather input from the user. It is also used as a scratch buffer by some functions as, after tokenization, this buffer is of no further use.