#ifdef DECL_SYSTEM
extern int system (char *);
#endif