loopexampleNoOracle.spec 142 Bytes