rename:S -> V