Update exbuffer.h