code: public int[] extractUShortArray() throws DevFailed {
  	manageExceptions("extractUShortArray");
  	final short[] argout = DevVarUShortArrayHelper.extract(attrval.value);
  	final int[] val = new int[argout.length];
  	for (int i = 0; i < argout.length; i++) {
  	    val[i] = 0xFFFF & argout[i];
  	}
  	return val;
      }
docs: ===========================================