[console_scripts]
pf = formal_lib.__main__:main
