Just a single file with all definitions