void del_settings(char *sessionname)
void del_settings(const char *sessionname)
void del_settings(char *sessionname){    HKEY subkey1;    char *p;    if (RegOpenKey(HKEY_CURRENT_USER, puttystr, &subkey1) != ERROR_SUCCESS)	return;    p = smalloc(3 * strlen(sessionname) + 1);    mungestr(sessionname, p);    RegDeleteKey(subkey1, p);    sfree(p);    RegCloseKey(subkey1);}