Abstract data type Stack, statically implemented