sinterface IIntMemory {
  int get(int idx);
  void set(int idx, int val);
  int size();
}