1 /* 2 * Copyright (c) 2003 Michael T Pins. All rights reserved. 3 */ 4 5 void init_execute(void); 6 int execute(char *, char **, int); 7 int shell_escape(void); 8 int run_shell(char *, int, int); 9 int suspend_nn(void); 10