do_something(() a | () b)
{
	a();

	/* should fail, since either a or b should be called, but not both */
	b();
}

main()
{
	do_something()
	=> {}
	=> {}
}