void set_mark(int pos)
Sets the current buffer mark to pos.
[Note]: for a region defined by mark_position() and the current position, the current position may be the end or the beginning of the region. Anyway the mark must be defined first.