xaw2verilog: Completed successfully