Checking core declarations.