/* in reopen.c */
extern int do_reopen (const char *cmd, int argc, char *argv[]);
+/* in supported.c */
+extern int do_supported (const char *cmd, int argc, char *argv[]);
+
/* in time.c */
extern int do_time (const char *cmd, int argc, char *argv[]);
"more", "less", \
"reopen", \
"sparse", \
+ "supported", \
"time"
static inline char *