history_changeFilter  135 src/swfc-history.h int history_changeFilter(history_t* past, U16 frame);
history_changeFilter  870 src/swfc.c         willChange = willChange || history_changeFilter(history, frame);