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