RUN: $(IntervalSampleSat)