5.8 and external identifiers in different header file

[lovewar]

Would the following examples be non-compliant with rule #5.8?

Code:

/* file 1. h */
extern int32_t count;    
extern void foo(void);

/* file 2.h */
extern int32_t count;   // here
extern void zoo(void);