output_datalen
output_datalen((const char *)str, len);
extern int output_datalen(const char *, size_t);
output_datalen("\0", 1);
output_datalen((const char *)sb, sizeof sb);
output_datalen((const char *)sb, sizeof sb);
output_datalen((const char *)sb, sizeof sb);
output_datalen((const char *)sb, sizeof sb);
output_datalen((const char *)ttytype_sbbuf, sizeof ttytype_sbbuf);
output_datalen((const char *)ttytype_sbbuf, sizeof ttytype_sbbuf);