On Mar 24 12:20, Michael Eager wrote: > I wanted to let folks know that Michael Snyder, > long-time contributor to gdb, passed away on Monday. That's really sad news. He was a friend and we always had a good time when we met in Sunnyvale, Toronto, Raleigh. I'll miss him. Corinna