let
size (stack:
'
data stack) : int =
stack.size