let add (a : int) (b : int) : int =
  let c : int = a + b in c