nobuf = 0;
ttflush(){	ssize_t written;	char *buf = obuf;		if (nobuf == 0)		return;	while ((written = write(fileno(stdout), buf, nobuf)) != nobuf) {		if (written == -1)			panic("ttflush write failed");		buf += written;		nobuf -= written;	}}