public int number_of_different_keys() {
   return _delegate.number_of_different_keys();
 }