/* $Id$ */ #ifndef _SHELL_H #define _SHELL_H void shell(const char *, const char *); #endif