simpleChoiceOmittingNoOracleTwice.spec 99 Bytes