let indexes_of_vtable = fun t -> List.filter (fun i -> ((table_of_index i) == t.vt_ftable || (List.exists (fun (t, _) -> (table_of_index i) == t) t.vt_join)))