vstte: problem3: pop supports wrapping, but no edge-cases yet
vstte: problem3: pop supports wrapping, but no edge-cases yet

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast