stan_code.txt