regenerated code (now includes synchronizer)