/scratch_buffer.h/1.1.1.2/Mon Jul 31 03:01:52 2023//
/scratch_buffer_dupfree.c/1.1.1.1/Sun Jul 30 22:45:56 2023//
/scratch_buffer_grow.c/1.1.1.2/Mon Jul 31 03:01:52 2023//
/scratch_buffer_grow_preserve.c/1.1.1.2/Mon Jul 31 03:01:52 2023//
/scratch_buffer_set_array_size.c/1.1.1.2/Mon Jul 31 03:01:52 2023//
D