#!/usr/bin/env python import sys, re if len(sys.argv) != 2: raise ValueError('Filename argument missing') filename = sys.argv[1] with open(filename, 'r') as f: data = f.read() data = re.sub(r"\.INIT\((\d+'d\d+)\)(\s*)\)(\s*)identifier_str", r".INIT(32'hAAAAAAAA)\2)\3identifier_str", data) with open(filename, 'w') as f: f.write(data)