srccode_state_free
void srccode_state_free(struct srccode_state *state);
srccode_state_free(thread__srccode_state(thread));