realworld/prod: links for probability-stlc