/scratch_buffer.h/1.1.1.2/Tue Aug 13 03:02:30 2024//
/scratch_buffer_dupfree.c/1.1.1.1/Mon Aug 12 20:01:28 2024//
/scratch_buffer_grow.c/1.1.1.2/Tue Aug 13 03:02:30 2024//
/scratch_buffer_grow_preserve.c/1.1.1.2/Tue Aug 13 03:02:30 2024//
/scratch_buffer_set_array_size.c/1.1.1.2/Tue Aug 13 03:02:30 2024//
D