visited flag for section X is now visited_X rather than vis_X.