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