true : bin_annot, safe_string
<_b0> : -traverse
<src> : include