<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>No reason.  They're from an older change where I hadn't discovered the convention yet, likely cribbed from someone else's code that also didn't follow convention.  I'll fix it.  Thanks!</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div></div><div>CHECK: prefixes are usually all upper case; is there a reason you're using lowercase here?</div><div><br></div><div>-- Sean Silva</div><div><br></div></div></div></div></blockquote></div></div></div>