A string buffer implementation in C using unbounded arrays