interface IntSize {
  int size();
}