A third file, called c ;-)