data/full_repos/permissive/42434302/vpi/final.v
data/verilator_xmls/e04aca3f-4af0-490f-b134-7de6368e7463.xml
module tb;
initial $finish;
final $display("In final statement.");
endmodule
module tb;

initial $finish;
final $display("In final statement.");
endmodule