そうそう。少なくとも@available(9999)が含まれる状態ではそういうオプションがないと困る