Symbol: kmsan_mark_bio