wip/verilog08/patches
