add any_marked() to header (again)