/* interface for username.c */

void init_hash();
char *username(int uid);
int userid(char *username);