stan: "main.stan"
data: data.json