return xs == null ? null : xs.asShortArray  ();
return xs == null ? null : ((SArray)xs).value;
    public static short  [] unbox_sarray(Array xs) {        return xs == null ? null : xs.asShortArray  ();    }