string.h: introduce string.h