sum_type_name
sum_type_name(args->objtype.type));
sprintf(get_line(0, 0), "Type = %s", sum_type_name(val));
static char *sum_type_name(nfs_ftype4);