situation <<start>>
{
	setup
	{
		display("pre start");
		a();
		display("post start");
	}
	enter
	{
		display("Start::Enter");
	}
}

function a()
{
	display("pre a");
	b();
	display("post a");
}

function b()
{
	display("pre b");
	goto( <<2>> );
	display("post b");
}

situation <<2>>
{
	enter
	{
		display("pre 2");
	}
}