/*-----------------------------------------------------------------------
 *      DEMETER System Version 4.0
 *      Copyright (c) 1990 Northeastern University
 *------------------------------------------------------------------------
 *
 *      GENERATED FILE -- DO NOT CHANGE !!
 */

#include <stream.h>
#include <stdlib.h>

extern void exec( char*,char* );