Create seal_hexStringToInt_C.h