code: public long[] extractULongArray() throws DevFailed {
  	manageExceptions("extractULong");
  	final int[] array = DevVarULongArrayHelper.extract(attrval.value);
  	long mask = 0x7fffffff;
  	mask += (long) 1 << 31;
  	final long[] result = new long[array.length];
  	for (int i = 0; i < array.length; i++) {
  	    result[i] = mask & array[i];
  	}
  	return result;
      }
docs: ===========================================