Re: slicoss: a hardware debugging question