Problem instrumenting defuns for debugging when running speedbar