void ADT.Stack(int|void initial_size)
An initial stack size can be given when a stack is cloned. The default value is 32.