### R code from vignette source 'vignettes/STAN/inst/doc/STAN.Rnw'