interface IntSize {
  int size();
  
  default bool isEmpty() { ret size() == 0; }
}