data/full_repos/permissive/108908995/sbox.v
data/verilator_xmls/f1e4c318-d979-4ba0-8a5f-baf834aa4c5d.xml
module sbox #(parameter init_file = "") (
    input [3:0]IN,
    output [3:0]OUT
);

reg [3:0]box[15:0];

initial $readmemh(init_file, box);

assign OUT = box[IN];

endmodule
module sbox #(parameter init_file = "") (
    input [3:0]IN,
    output [3:0]OUT
);


reg [3:0]box[15:0];

initial $readmemh(init_file, box);

assign OUT = box[IN];

endmodule