Re: tools to identify bugs in driver