extern is enough, we don't need core.h