Conversion of platelets into dislocation loops and voidite formation in type IaB diamonds