updated header for string.h