/buf_err.c/1.12/Tue Jul 12 14:42:48 2022//
/buf_str.c/1.11/Sun Apr  9 14:33:21 2017//
/buffer.c/1.27/Tue May  2 03:59:44 2017//
/buffer.h/1.16/Tue Jul 12 14:42:48 2022//
D
