Update 843_crypt_killer_opt.cc