Anyone know what the purpose of PyThreadState.tick_counter might be? AFAICT, it's initialized to 0, incremented by the eval loop now & again, and otherwise never referenced.