Symbol: vtbuf_extract_marked