(defvar user:kmc-foo 0)