read_verilog_formal.ys 30 Bytes