Header files for eddyshelf project