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