Implementing the program file (main)