/// [java.lang.String#copyValueOf(char\[\], int, int)]
class C{}