begin
  var p: ()->boolean := ()->
  begin
    case 0 of
      0: Result := true;
    end
  end;
end.