../../Task/Stream-merge/Ada