data/full_repos/permissive/143278/ivltests/param_vec.v
data/verilator_xmls/d033841f-4b76-4632-bdcf-ffc7e42fa5f6.xml
module test;

   parameter [39:0] foo = 5;

   initial begin
      if ($bits(foo) != 40) begin
	 $display("FAILED -- $bits(foo) == %d", $bits(foo));
	 $finish;
      end

      $display("PASSED");
   end

endmodule
module test;


   parameter [39:0] foo = 5;

   initial begin
      if ($bits(foo) != 40) begin
	 $display("FAILED -- $bits(foo) == %d", $bits(foo));
	 $finish;
      end

      $display("PASSED");
   end

endmodule