Yosys 0.4