/* This file is in the public domain. */

extern int charybdis_main(int argc, const char *argv[]);

int
main(int argc, const char *argv[])
{
	return charybdis_main(argc, argv);
}