data/full_repos/permissive/168395472/problems/01_sign_ext/sign_ext.v
data/verilator_xmls/fb289daf-5935-491e-88d6-d7e68fdd53e3.xml
module sign_ext(
    input [11:0]imm,

    output [31:0]ext_imm
);



endmodule
module sign_ext(
    input [11:0]imm,

    output [31:0]ext_imm
);




endmodule