Infrastructure of main file