void dummy()
{
	return;
}