//
{
    block<boolean> b = ``{
	y2milestone ("Hello!");
	return true;
    };
    y2milestone ("Start");
    if (eval(b)) {
	y2milestone ("True");
    }
    y2milestone ("Stop");
}