Where is ReadCoreTimer()?  There's no mention of it anywhere in the core, so it must be in the compiler.  With no extern reference it implicitly declares it.