sinterface IIntMemory {
  int get(int idx);
  void set(int idx, int val);
  int size();
  int nullPtr(); // always 0 so far
}