user_token
table_init(AUT_USER, "user", user_token, T_ENCLOSED);
extern int user_token();
extern void user_token(adr_t *, parse_context_t *);
op->r_notifier->n_user_token = args->user_token;
cmsg.user_token = notifier->n_user_token;
u_int64_t user_token;
u_int64_t user_token;