background-color: #C0C0C0; margin:0; padding:0 "> 310:       message_length <= message_length + 64'(wmask_ones);</pre>
<pre style="margin:0; padding:0 "> 311:     end</pre>
<pre style="margin:0; padding:0 "> 312:   end</pre>
<pre style="margin:0; padding:0 "> 313: </pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 314:   assign hw2reg.msg_length_upper.de = 1'b1;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 315:   assign hw2reg.msg_length_upper.d = message_length[63:3