> I had thought that Mike Malcom used it for Thoth, QNX's predecessor. Thoth sounds downright fascinating and does indeed look to be written in B (or a dialect). Google pointed me to a few research papers describing the system. I wonder if the University of Waterloo or David Cheriton has a snapshot of it from that research?