static void hostkey_regname(char *buffer, char *hostname, int port, char *keytype)
static void hostkey_regname(char *buffer, const char *hostname, int port, const char *keytype)
static void hostkey_regname(char *buffer, char *hostname,			    int port, char *keytype){    int len;    strcpy(buffer, keytype);    strcat(buffer, "@");    len = strlen(buffer);    len += sprintf(buffer + len, "%d:", port);    mungestr(hostname, buffer + strlen(buffer));}