Hi, I have to admit that I have basically no clue what the code does, but I have a question: complete_type(type1) is called for CPTK_IS_CLASS, CPTK_IS_ENUM and CPTK_IS_UNION. Is this required/correct? Shouldn't instantiation of templates be avoided in these cases? Regards, Daniel