data/full_repos/permissive/130234582/demo_001/demo_001.v
 line:14: before: ":"
data/verilator_xmls/ec861346-b4ac-4875-98cf-67499754026d.xml
module main;


initial


    begin : BLOCK_NAME

        $display("Hello world!");

        $finish;
    end : BLOCK_NAME



endmodule
module main;



initial


    begin : BLOCK_NAME

        $display("Hello world!");

        $finish;
    end : BLOCK_NAME



endmodule