Gabi wrote: > Why not go for the trivial solution - just increase/decrease a > counter for each push/pop message?
Yeah, that's most likely what I'll end up with, but it's a pity such information exists and I only can't access it because someone decided to make it private... or should I file a bug (or rather feature request) about it? -- Marek Janukowicz