hacking

定义一些修改代码中需要的辅助函数，主要包括 check.py 模块。