e>Bil.([
    v := src lsr i32 1;
    r := src;
    s := i32 31;
    while_ (var v &lt;&gt; i32 0) [
      r := var r lsl i32 1;
      r := var r lor (var v land i32 1);
      v := var v lsr i32 1;
      s := var s - i32 1;
    ];
    dst := var r lsl var s;
  ]) |&gt; bil_to_sub</code></pre><p>As in the BAP documentation, to build subroutines.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-mk_assert_fail" class="anchored"><a href="#val-mk_assert_fail" class="anc