/*
:name: program_construct
:description: program construct test
:should_fail: 0
:tags: 24.3
:type: simulation parsing
*/
module top();

program prog(input wire a, input wire b);
	initial $display(":assert: (%d == %d)", a, b);
endprogram

wire w = 1;

initial begin
	prog p(w, w);
end

endmodule