Symbol: do_bpt_sequence