First version of the new Verilog exporter