extern int do_more (const char *cmd, int argc, char *argv[]);
/* in rc.c (remote control) */
-extern void rc_listen (void);
+extern void rc_listen (void) __attribute__((noreturn));
extern int rc_remote (int pid, const char *cmd, int argc, char *argv[],
int exit_on_error);
"reopen", \
"time"
+static inline char *
+bad_cast (char const *s)
+{
+ return (char *) s;
+}
+
#endif /* FISH_H */