References STACK_SIZE, and top.
Referenced by push().
References contents, is_empty(), and top.
References contents, is_full(), and top.