method tab_of_contents c =
let oid = id_of_contents c in
let pred c2 = id_of_contents c2 = oid in
let rec iter n = function
[] -> None
| (_,h) :: q ->
if pred h then Some n else iter (n+1) q
in
iter 0 tabs