state_append      875 src/swfc-history.c 	state_append(state, next);
state_append      999 src/swfc-history.c 	    state_append(change, nextX);
state_append     1008 src/swfc-history.c 	    state_append(change, nextY);
state_append       96 src/swfc-history.h void state_append(state_t* state, state_t* newState);