
<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">I think Rafael’s suggestion of using the address of a global as the key to the option store gives us the ability to accomplish all our goals without introducing a string keyed option store.<br class=""><br class="">I’ve updated my patches from the original proposal to reflect those changes.<br class=""><br class="">Does this look reasonable?<br class=""><br class="">Thanks,<br class="">-Chris<br class=""></body></html>