check_state
check_state(temp_file_name);
extern void check_state(Name temp_file_name);
check_state(NULL);
check_state(rp->temp_file);
extern void check_state(Name temp_file_name);