spec file for core.rb