Re: [webkit-dev] type of JSChar