state_init         36 src/swfc-history.c     state_init(newState);
state_init         94 src/swfc-history.h void state_init(state_t* state);