22. Vectors - II

Based on the literal size, what must bus_width mathematically be?

wire [3:0] a;
wire [1:0] b;
wire [bus_width-1:0] bus = { a[3:0], 2'b11, b[1] };