data/full_repos/permissive/143278/ivltests/pr2148401.v
data/verilator_xmls/df8cc8f2-391f-483b-95c5-d1708fe74773.xml
module top;
  reg [79:0] data = 0;

  initial begin
    data = data + 80'h12345678901234567890;
    if (data !== 80'h12345678901234567890) $display("FAILED");
    else $display("PASSED");
  end
endmodule
module top;

  reg [79:0] data = 0;

  initial begin
    data = data + 80'h12345678901234567890;
    if (data !== 80'h12345678901234567890) $display("FAILED");
    else $display("PASSED");
  end
endmodule