As a minimal example (this is part of a larger project), I have the following three files in a project