Declaration of unify_value()