let version_of_target getv = function |`Eq v -> getv v |`Hi v -> (getv v) + 1 |`Lo v |`In (_,v) -> (getv v) - 1