data/full_repos/permissive/143278/ivltests/pr3149494.v
data/verilator_xmls/0d7bdb69-b57e-446c-8a25-967d01e31e34.xml
module m;

  reg [4'b1111 + 4'b0001 >> 1:0] x;
  reg [4'b1111 + 1 >> 1:0] y;

  initial
  begin
    x = -1;
    y = -1;
    $display("x = %b", x);
    $display("y = %b", y);
  end
endmodule
module m;


  reg [4'b1111 + 4'b0001 >> 1:0] x;
  reg [4'b1111 + 1 >> 1:0] y;

  initial
  begin
    x = -1;
    y = -1;
    $display("x = %b", x);
    $display("y = %b", y);
  end
endmodule