let compare l1 l2 =
      match (l1, l2) with
      | (Some l1, Some l2) -> Int64.compare l1 l2
      | (NoneNone-> 0
      | (Some _, None-> (-1)
      | (NoneSome _) -> 1