return xs == null ? null : xs.asIntArray    ();
return xs == null ? null : ((IArray)xs).value;
    public static int    [] unbox_iarray(Array xs) {        return xs == null ? null : xs.asIntArray    ();    }