#include	<stdio.h>#include	<string.h>static char	ctermid_name[L_ctermid];char *ctermid(char *str){	if (str == NULL)		str = ctermid_name;	return(strcpy(str, "/dev/tty"));	/* strcpy() returns str */}