          // We need a stack.     // Stack is actually in terms of inward edges followed.     struct DFSFrame {         handle_t here;         vector<handle_t> todo;     };          vector<DFSFrame> stack;          