memset(sensitive_data.ssh1_cookie, 0, SSH_SESSION_KEY_LENGTH);
destroy_sensitive_data(void){	int i;	if (sensitive_data.server_key) {		key_free(sensitive_data.server_key);		sensitive_data.server_key = NULL;	}	for(i = 0; i < options.num_host_key_files; i++) {		if (sensitive_data.host_keys[i]) {			key_free(sensitive_data.host_keys[i]);			sensitive_data.host_keys[i] = NULL;		}	}	sensitive_data.ssh1_host_key = NULL;}