add header for string.h