[console_scripts]
BoogieFN = boogiefn.cli:main

