Probabilistic programming examples