<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"><base href="x-msg://7/"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Hi David,</div><div><br></div><div>I definitely understand and appreciate that rationale. I would pick a bit at the expectation of coding: {_, State} and not expecting the ignored data to be relevant :).</div><div><br></div><div>My counter to that would be that if a function was too hard to understand with regard to return values, then the function itself is likely too big and complex -- and counter to any guideline I have seen. </div><div><br></div><div>Rather than double (or more than double) the size of the code,  and make no mistake, -spec IS CODE (although only used by test tools), it may be more effective to devise boundary contracts similar to JA's intention for UBF-C rather than plastering bug-prone "comments" into the raw source.</div><div><br></div><div>Best regards,</div><div>/s</div><div><br></div><br><div><div>On Sep 26, 2012, at 3:27 PM, "David Mercer" <<a href="mailto:dmercer@gmail.com">dmercer@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div lang="EN-US" link="blue" vlink="purple" style="font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div class="WordSection1" style="page: WordSection1; "><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); ">Since no-one else stepped into the breach, I’ll make a case.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); ">In my view, the –spec is a contract, which (1) is usually written before the implementation as part of your design; and (2) as such, it serves as documentation regarding your intent and usage.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); ">In this case, programmers calling the function should be prepared for both an<span class="Apple-converted-space"> </span><i>ok</i><span class="Apple-converted-space"> </span>return value and an<span class="Apple-converted-space"> </span><i>error</i>.  Without the –spec, the programmer does not know this and may just do a match on {_, State} and then not notice any errors when the function changes.  On the other side, when a maintainer comes along later wishing to modify this function, he understands (1) the function’s intent, and (2) how to signal errors.  He can make whatever changes he wishes to effect new functionality so long as he obeys that contract.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); "> </span></div><div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); ">Cheers,<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); ">DBM<o:p></o:p></span></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125); "> </span></div><div style="border-style: none none none solid; border-left-width: 1.5pt; border-left-color: blue; padding: 0in 0in 0in 4pt; "><div><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(181, 196, 223); padding: 3pt 0in 0in; "><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><b><span style="font-size: 10pt; font-family: Tahoma, sans-serif; ">From:</span></b><span style="font-size: 10pt; font-family: Tahoma, sans-serif; "><span class="Apple-converted-space"> </span><a href="mailto:erlang-questions-bounces@erlang.org" style="color: purple; text-decoration: underline; ">erlang-questions-bounces@erlang.org</a><span class="Apple-converted-space"> </span>[mailto:erlang-<a href="mailto:questions-bounces@erlang.org" style="color: purple; text-decoration: underline; ">questions-bounces@erlang.org</a>]<span class="Apple-converted-space"> </span><b>On Behalf Of<span class="Apple-converted-space"> </span></b>Steve Davis<br><b>Sent:</b><span class="Apple-converted-space"> </span>Tuesday, September 25, 2012 19:38<br><b>To:</b><span class="Apple-converted-space"> </span>Erlang-Questions Questions<br><b>Subject:</b><span class="Apple-converted-space"> </span>[erlang-questions] Spec is diabolical IMHO<o:p></o:p></span></div></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div><div id="LC71"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><rant><o:p></o:p></span></pre></div><div id="LC71"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">Can someone who knows better explain how this evil child of -spec:<o:p></o:p></span></pre></div><div id="LC71"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div id="LC71"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span class="c"><i><span style="font-size: 9pt; font-family: Consolas; color: rgb(153, 153, 136); border: 1pt none windowtext; padding: 0in; ">%% @doc The gen_server code_change/3 callback, called when performing</span></i></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><o:p></o:p></span></pre></div><div id="LC72"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span class="c"><i><span style="font-size: 9pt; font-family: Consolas; color: rgb(153, 153, 136); border: 1pt none windowtext; padding: 0in; ">%% a hot code upgrade on the server. Currently unused.</span></i></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><o:p></o:p></span></pre></div><div id="LC73"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">-</span></span><span class="ni"><span style="font-size: 9pt; font-family: Consolas; color: purple; border: 1pt none windowtext; padding: 0in; ">spec</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">code_change</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">(</span></span></span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">OldVsn</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">,</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">State</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">,</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Extra</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">)</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="o"><b><span style="border: 1pt none windowtext; padding: 0in; ">-></span></b></span> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">{</span></span><span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">ok</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">,</span></span> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">State</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">}</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">|</span></span> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">{</span></span><span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">error</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">,</span></span> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Reason</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">}</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><o:p></o:p></span></pre></div><div id="LC74"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">                                               <span class="k"><b><span style="border: 1pt none windowtext; padding: 0in; ">when</span></b></span><o:p></o:p></span></pre></div><div id="LC75"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">      </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">OldVsn</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">::</span></span> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Vsn</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">|</span></span> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">{</span></span><span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">down</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">,</span></span> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Vsn</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">},</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><o:p></o:p></span></pre></div><div id="LC76"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">      </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Vsn</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">::</span></span> <span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">term</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">(),</span></span><o:p></o:p></span></pre></div><div id="LC77"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">      </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">State</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">::</span></span> <span class="nl"><span style="border: 1pt none windowtext; padding: 0in; ">#state</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">{},</span></span><o:p></o:p></span></pre></div><div id="LC78"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">      </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Extra</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">::</span></span> <span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">term</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">(),</span></span><o:p></o:p></span></pre></div><div id="LC79"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">      </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Reason</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">::</span></span> <span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">term</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">().</span></span><o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span class="nf"><b><span style="font-size: 9pt; font-family: Consolas; color: rgb(153, 0, 0); border: 1pt none windowtext; padding: 0in; ">code_change</span></b></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">(_</span></span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">OldVsn</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">,</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">State</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">,</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">_</span></span></span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">Extra</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">)</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> <span class="o"><b><span style="border: 1pt none windowtext; padding: 0in; ">-></span></b></span> <span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">{</span></span><span class="n"><span style="border: 1pt none windowtext; padding: 0in; ">ok</span></span><span class="p"><span style="border: 1pt none windowtext; padding: 0in; ">,</span></span> </span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">State</span></span><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">}.</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">...is not a total waste of too many talented people's time over the more transparent:</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; ">code_change(_</span></span><span class="nv"><span style="font-size: 9pt; font-family: Consolas; color: teal; border: 1pt none windowtext; padding: 0in; ">OldVsn</span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">, State = #state{}, _Extra) -> {ok, State}.<o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">...or is spec just a diabolical case of over-engineering that is at once both incredibly onerous and bug-prone justified in the cause of the weaknesses of some ill-designed test tool?<o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">My gut reaction is that if you feel that you NEED TO DO TDD style testing, you should take the time parse the source and not bloat it beyond readability by inflicting conventions on the development of the source that will simply distract and so *cause* the bugs you think that you are testing for.<o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">A better use of developer time would be to enforce documentation of the intention of the function.<o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span class="p"><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); border: 1pt none windowtext; padding: 0in; "></rant></span></span><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "><o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); ">/s<o:p></o:p></span></pre></div><div id="LC80"><pre style="margin: 0in 0in 0.0001pt; font-size: 10pt; font-family: 'Courier New'; line-height: 12pt; background-color: white; vertical-align: baseline; background-position: initial initial; background-repeat: initial initial; "><span style="font-size: 9pt; font-family: Consolas; color: rgb(51, 51, 51); "> </span></pre></div><div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div></div></div></div></div></blockquote></div><br></body></html>