@Override public void setArray(Object array, int i, x10.core.ULong v) { ((long[]) array)[i] = x10.core.ULong.$unbox(v); }