tuned global-clock GV6; found and documented BUG 6. race condition in GV6/%UPDATE-STAT