srecord DoubleVAddr (VAddr addr1, VAddr addr2) implements VAddr {
  replace Addr with int.
  replace BoxedAddr with Int.
  
  public int get() { ret addr1!; }
  public int get(Addr ofs) { ret addr1.get(ofs); }
  public void set(int val) { addr1.set(val); addr2.set(val); }
  public void set(Addr ofs, int val) { addr1.set(ofs, val); addr2.set(ofs, val); }
  
  public VAddr plus(Addr ofs) { ret DoubleVAddr(addr1.plus(ofs), addr2.plus(ofs)); }
}