Symbol: __bt_seq