next_session_id
return (format_printf("$%u", next_session_id));
s->id = next_session_id++;
u_int next_session_id;