TG Stan Function(s): producer