Rename void_diff() -> addr_diff()