Evaluating the main() function