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