let add_tex tex =
        tex_index_map := (tex, (!tex_index_count)) :: (!tex_index_map) ;
        incr tex_index_count ;
        ()