file contains the main() function