return xs == null ? null : xs.asCharArray   ();
return xs == null ? null : ((CArray)xs).value;
    public static char   [] unbox_carray(Array xs) {        return xs == null ? null : xs.asCharArray   ();    }