finished push_to() for FlexibleTripleStack class.