private int replacePid(IntIntMap replaceSpec, int pid) {
int newPid = pid;
if (replaceSpec.contains(pid)) {
newPid = replaceSpec.get(pid);
}
System.out.println("[" + pid + "->" + newPid + "]");
return newPid;
}
private static void printPat(PATSection pat) {
IntIntMap programs = pat.getPrograms();
System.out.print("PAT: ");
int[] keys = programs.keys();
for (int i : keys) {
System.out.print(i + ":" + programs.get(i) + ", ");
}
}