Finish checke1.s and run_check.s