let get_iter_first m =
    let i = alloc_iter () in
    if _get_iter_first m i then Some i else None