TERMINAL_TYPE_SIZE
static char terminalname[TERMINAL_TYPE_SIZE];
(void) strncpy(terminaltype, first, TERMINAL_TYPE_SIZE-1);
terminaltype[TERMINAL_TYPE_SIZE-1] = '\0';