let class_type_tag = Tag_class_type