pub const DEFAULT_SESSION_TTL: Duration;
Sessions older than this, whose owner process is not alive, are stale.