the main runner (main)