sinterface VAddr {
  replace Addr with int.
  replace BoxedAddr with Int.
  
  int get();
  int get(Addr ofs);
  void set(int val);
  void set(Addr ofs, int val);
  
  VAddr plus(Addr ofs);
}