std::cout « "visiting body" « std::endl;