Some files and class definitions