dumpnames
dumpnames("Supported disk types", dktypenames,
dumpnames("Supported file system types",
static void dumpnames(const char *, const char * const *, size_t);