history_init      815 src/swfc-history.c 	history_init(newHistory);
history_init      125 src/swfc-history.h void history_init(history_t* past);