add any_marked() to header