data/full_repos/permissive/143278/ivltests/pr3044843.v
data/verilator_xmls/e6ef8fbd-d60d-45a9-8093-51a2f42202d3.xml
module top;
  parameter ab = 8;
  parameter ch = 2;

  reg [63:0] r;

  initial begin
    r[0+:ab * ch] = 2;
    if (r !== 64'hxxxxxxxxxxxx0002) $display("Failed, got %h", r);
    else $display("PASSED");
  end
endmodule
module top;

  parameter ab = 8;
  parameter ch = 2;

  reg [63:0] r;

  initial begin
    r[0+:ab * ch] = 2;
    if (r !== 64'hxxxxxxxxxxxx0002) $display("Failed, got %h", r);
    else $display("PASSED");
  end
endmodule