let compare io1 io2 =
      match io1, io2 with
        Some i1, Some i2 -> Datatype.Int.compare i1 i2
      | Some _i1, None -> 1
      | NoneSome _i2 -> -1
      | NoneNone -> 0