This file contains the main program