+# Copyright (c) 2013-2023. The SimGrid Team.
+# All rights reserved.
+
+# This program is free software; you can redistribute it and/or modify it
+# under the terms of the license (GNU LGPL) which comes with this package.
+
+"""
+Tool for normalizing pointers such as two runs have the same 'addresses'
+
+first address encountered will be replaced by 0X0000001, second by 0X0000002, ...
+"""
+
+import sys
+import re
+
+if len(sys.argv) != 2:
+ print "Usage ./normalize-pointers.py <filename>"
+ sys.exit(1)