SVF: fix parsing hex strings containing leading '0' characters