Use full sexp for verify_mode assignment