Create seal_stringToInt.h