/*
   * The user name used for authentication
   */
  char *user() {