. "# circle::rotate procedure is a noop, no need to overload" . . .