Annotate fallthroughs for clang, add virtual public dtor for Stack.
break --> fallthrough annotation