end_session
void end_session(struct session *);
end_session(s);
end_session(s);
end_session(s);
end_session(s);
end_session(s);
end_session(s);
end_session(s);
end_session(s);
int end_session;
end_session = FALSE;
end_session = TRUE;
end_session = TRUE;
end_session = TRUE;
end_session = TRUE;
end_session = TRUE;
if (end_session) {
int end_session;
end_session = FALSE;
end_session = TRUE;
end_session = TRUE;
end_session = TRUE;
end_session = TRUE;
end_session = TRUE;
if (end_session) {