Initial file provided by the prof.