let operand_stack = ref [] in
let add () =
  match !operand_stack with
  | x :: y :: tl -> operand_stack := x + y :: tl; x + y
  | x :: _ -> x
  | [] -> 0