#include <ecl.h>

#ifdef __cplusplus
#define ECL_CPP_TAG "C"
#else
#define ECL_CPP_TAG
#endif

int
main(int argc, char **argv)
{
	extern ECL_CPP_TAG void init_OBJECT(cl_object);
	extern ECL_CPP_TAG void init_NO_CACHE(cl_object);
	extern ECL_CPP_TAG void init_COMPILER(cl_object);
	extern ECL_CPP_TAG void init_PRIMS(cl_object);
	extern ECL_CPP_TAG void init_REPL(cl_object);

	
	cl_boot(argc, argv);
	read_VV(OBJNULL,init_OBJECT);
	read_VV(OBJNULL,init_NO_CACHE);
	read_VV(OBJNULL,init_COMPILER);
	read_VV(OBJNULL,init_PRIMS);
	read_VV(OBJNULL,init_REPL);

	funcall(1,_intern("REPL",user_package));
}