Add variant supporting dynamic semantics with fragment-drop-state stored out-of-band on stack.