Update seal_stringToInt_C.h