Once again, thanks for your helpful response. After installing the CVS version and adding some type sigs, I am able to hat-trans my code. However, the resulting instrumented executable outputs something different from the uninstrumented version. In particular, it outputs an empty list, where I expect it to output a very non-empty list. Is there a FAQ I should be looking at? peace, isaac