<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote">But keeping this "peculiarity" afloat does not come for free either. <br></div></div></blockquote><div><br></div><div>Let me add that keeping the constants also incurs a maintenance cost: The fact that these constants are "effectively and accidentally public" is unusual, but needs to be understood and enforced by maintainers. Their names, values and location need to stay constant, regardless of needs to improve and evolve our code base.</div><div><br></div><div>Eirik.</div><div><br></div><div> </div><div> </div></div></div>