Generated by Yosys