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