let remove_top (stack: 'data stack) : unit = if stack.size = 0 then raise Not_found; stack.size <- stack.size - 1; stack.stack.(stack.size) <- stack.null_element