void do_seen(User *u, ChannelInfo *ci, char *target);