throws Throwable
  public Value get_class(Value value)    throws Throwable  {    if (value instanceof ObjectValue) {      ObjectValue obj = (ObjectValue) value;      return new StringValueImpl(obj.getName());    }    else      return BooleanValue.FALSE;  }