A C library to safely handle character strings