Ah, not related to Hans Boehm of the Boehm GC though (the Barry Boehm page even has a "not to be confused with" header.)