void backspace()
{
    if(buffer_index<=0) return;