Worked-out examples of the adequacy of Bayesian optional stopping