在卡雷尔程序中，run方法是一个入口程序。