Bit#(5) x;
x = 5 'd3;