I'm hoping I can get it to do what I want, if only I can get the MI to treat the function definition given to it by the target as the one true definition, and not just some advisory one.