model is now synthesizable