pub type ServerSessionKey = SessionId;