data/full_repos/permissive/143278/ivltests/named_begin.v
 line:4: before: ":"
data/verilator_xmls/073e7eeb-f6a7-4b86-80d7-f95f7b70d5a9.xml
module top;
  initial begin : named_begin
    $display("PASSED");
  end : named_begin
endmodule
module top;

  initial begin : named_begin
    $display("PASSED");
  end : named_begin
endmodule