Benign redeclarations of typedef names are permitted. That is, a typedef name can be redeclared in the same scope as the same type.

typedef int INT;typedef int INT; /* redeclaration */