<div class="gmail_extra">Will do.<br><br><div class="gmail_quote">On Sun, Dec 9, 2012 at 8:23 AM, Nuno Lopes <span dir="ltr"><<a href="mailto:nunoplopes@sapo.pt" target="_blank">nunoplopes@sapo.pt</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Please add a comment stating that this transformation is only correct because shifting by a number larger than the number of bits is undefined. Otherwise this transformation wouldn't be sound</blockquote>
</div><br></div>