[console_scripts]
veribool = veribool:main
