S_already_defined no longer uses its gv parameter, remove it