next renamed symbols