# https://github.com/YosysHQ/yosys/issues/6009 read_verilog <