Do *not* use STL, too slow
linear search on a double-linked list works