Create seal_hexStringToInt.h