*  This function must never return a null object. */
     public String[] getFormalArgs();
 
-    /** Returns true if the specific key is found in this object. */
-    public boolean hasKey(JS key);
-
     /** Put a value to the given key, calling any write traps that have
      *  been placed on the key.
      *
         public InputStream getInputStream() throws IOException, JSExn { throw new JSExn(
             "object has not associated stream, class ["+ getClass().getName() +"]"); }
 
-        public boolean hasKey(JS key) { return false; }
-
         public Object run(Object o) throws Exception { throw new JSExn(
             "object cannot be called, class ["+ getClass().getName() +"]"); }
         public void pause() { throw new NotPausableException(); }
         public JS call(JS[] a) throws JSExn { return clonee.call(a); }
         public String[] getFormalArgs() { return clonee.getFormalArgs(); }
 
-        public boolean hasKey(JS k) { return clonee.hasKey(k); }
-
         public JS putAndTriggerTraps(JS k, JS v) throws JSExn {
             return clonee.putAndTriggerTraps(k, v); }
         public JS getAndTriggerTraps(JS k) throws JSExn {
             if (val == null) entries[dest + 1] = holder;
             else entries[dest + 1] = val; }
 
-        public boolean hasKey(JS key) { return indexOf(key) >= 0; }
         /*public boolean hasValue(JS key, JS value) {
             int i = indexOf(key); return i >= 0 && entries[i + 1] != null; }
         public boolean hasTrap(JS key, JS trap) {
 
     public String[] getFormalArgs() { return empty; }
     public String coerceToString() { return "array"; } // FIXME
 
-    public boolean hasKey(JS key) {
-        if (key == null || !(key instanceof JSNumber.I)) return false;
-        int i = ((JSNumber.I)key).toInt();
-        return 0 <= i && i < size();
-    }
-
     public Object run(Object o) throws JSExn { return call(null); }
     public void pause() throws NotPausableException { throw new NotPausableException(); }
     public JS call(JS[] args) throws JSExn { throw new JSExn("can not call an array as a function"); }