state_insert     1049 src/swfc-history.c 	    	state_insert(rotations, resetRotate);
state_insert     1073 src/swfc-history.c 	    	state_insert(rotations, setRotate);
state_insert       97 src/swfc-history.h void state_insert(state_t* state, state_t* newState);