Dearest alyx, when changing the source files, one must also change the associated header files. q: