Bit#(5) x; x = 5'd 3;