let iter_parent m child =
    let i = alloc_iter () in
    if iter_parent m i ~child then Some i else None