Re: internal error: duplicate constructor