>>>>> "Phil" == Phil Muldoon <pmuldoon@redhat.com> writes: Phil> Could these be caught with the ARI system? I am not certain, but I tend to doubt it. It may be worth a try. Unfortunately we probably can't use David Malcolm's checker, either, due to some of the unusual aspects of gdb. Tom