#include "mini.h"

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