Calm waves on a rocky sea gulf_batch