char *make_cookie(const char *user);
char *verify_cookie(const char *cookie, rights_type *rights);
void revoke_cookie(const char *cookie);
char *make_cookie(const char *user);
char *verify_cookie(const char *cookie, rights_type *rights);
void revoke_cookie(const char *cookie);