Did you intent to have uniform prior on a0?

[mike-lawrence]

a0 is defined as a parameter & used in the transformed parameters section, but not given an explicit prior, so it's uniform from negative infinity to infinity, which seems unreasonable, no?