void space()
{
    buffer[buffer_current][buffer_index++]=' ';
    printf(" ");
}