data/full_repos/permissive/118800618/SignalExt_32.v
'utf-8' codec can't decode byte 0xd0 in position 574: invalid continuation byte
data/verilator_xmls/f754cfff-8d7c-4c36-942f-7288d1aca1f6.xml
module SignalExt_32(input S,
						  output [31:0]So
						  );

	assign So = {32{S}};
	
endmodule
module SignalExt_32(input S,
						  output [31:0]So
						  );


	assign So = {32{S}};
	
endmodule