still analyzing push/pop-problem