recordChanges    2305 src/swfc.c         recordChanges(i->history, p, CF_JUMP, 0);
recordChanges    2313 src/swfc.c         recordChanges(i->history, p, CF_CHANGE, inter);
recordChanges    2352 src/swfc.c         recordChanges(i->history, p, CF_SCHANGE, inter);