void insert_char(int newchar);
Inserts newchar before the current character and goes to the next position, therefore the current character remains the same. Obviously the number of lines of the buffer is updated if the inserted character is newline.