Create seal_stringToInt_C.h