static inline void MarkNode(SuccinctDBG &dbg, int64_t node_idx) { node_idx = dbg.GetLastIndex(node_idx); marked.set(node_idx); }