Symbol: bp_tag_t