test: python3 svparse.py examples/counter.sv