Simplify SIGINT handling in main()
Use lambda when possible