Update seal_hexStringToInt_C.h