yosys/tests/hana/test_simulation_techmap_and_5_tech.v

module TECH_AND5(input [4:0] in, output out);
assign out = ∈
endmodule