cpr_statefile_is_spec
if (!cpr_statefile_is_spec()) {
extern int cpr_statefile_is_spec(void);
if (!cpr_reusable_mode && cpr_statefile_is_spec())