replace Return with Output, so no control flow changes; 72% non-zero