[console_scripts]
proof_code_k = __main__:main
