Waves on a rocky beach