#include "@HEADER@"

int main(int,char**)
{
	return 0;
}