ncc: always call ts_push_bt() after performing gen.c operations