tuple_name
static char *tuple_name(int type);
printf("tuple: %s len %d\n", tuple_name(tuple[0]), len);