rename variables in Hanoi