open Verilog
open Extraction

let _ = print_string (PrettyPrint.prettyprint VerilogAST.verilog_example)