You're right. I'll move synthetic code to the user's package.