rstan vignett in progress