let push (stack: 'data stack) (data: 'data) : unit =
  inc_size stack;
  stack.stack.(stack.size) <- data;
  stack.size <- stack.size + 1