DUPLICATE-initialization_type
