mark_pointer
mark_pointer _pos;
void adjust_markers(mark_pointer low, mark_pointer high,
void edit_buffer::adjust_markers(register mark_pointer low,
register mark_pointer high,
register mark_pointer mpos;
mark_pointer size1 = buf->size1() << 1;