<div dir="ltr"><div class="gmail-gE gmail-iv gmail-gt" style="padding:20px 0px 0px;font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif"><span style="font-size:14px;letter-spacing:0.2px">Yeah, that's a good point, David.</span></div><div class="gmail-gE gmail-iv gmail-gt" style="padding:20px 0px 0px;font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif"><span style="font-size:14px;letter-spacing:0.2px">Also, no one is talking about removing the existence of Ptr - just providing Addr and using it where appropriate.</span></div><div class="gmail-gE gmail-iv gmail-gt" style="padding:20px 0px 0px;font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif"><span style="font-size:14px;letter-spacing:0.2px"><br></span></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
</blockquote></div></div>