Issue 123: Use the new push functions.
Issue #123: Increment stack size when pushing.
#123: Fix stack_get_size().
#123: Implement new-style string pop.
#123: Use the new-style string pop.