Hi John, > Agree it looks scary I wanted to play around with it more. I agree > its not the same and off to investigate a few places we use > __is_pointer_value now. Might add a few more tests while I'm at it. I think that update to `__is_pointer_value` should probably be done but is unrelated to this patch. And, as you mention, would require crafting some number of test cases for NOT_INIT case :) I'd prefer to keep the current predicate as is and reuse it at some later point in the updated `__is_pointer_value` function. What do you think? Thanks, Eduard