void spop()                { assert(_stack.is_empty() || _stack.top() == -1, ""); raw_pop(); }
 int  raw_pop()             { return _stack.is_empty() ? -1 : _stack.pop(); }