affirm ? (* foo *) (* bar *)
reject input wire  [W + 1:1] b;
affirm input wire [W + 1:1] b;