default Order dec
$include <vector_dec.sail>

function main () : unit -> unit = {
  let x : bits(8) = 0xff;
  let y = x[3];
  let z = [x with 5 = y];
  ()
}