The main source file