static interface IF0_Int {
  int get();
}