(format t "~D" user:kmc-foo)