[console_scripts]
pycoq-trace = pycoq.pycoq_trace:main

