* buffer.c (Foverlay_start, Foverlay_end, Foverlay_buffer,