(4) Shown below are several variable declarations in C. There are comments indicating what each variable is for. Decide if the declaration is correct or not. If incorrect, determine what needs to change. // Pointer to the base address of the PIO uint32_t PIOBase (uint32_t *) 0x8675309; // Variable declared in otherfile.c extern int32_t counter; // Only one copy of this variable with state extern char lastChar; // Don't cache this variable reg uint8_t dontCacheMe = 0;