Example OpenBUGS code