Just some example code from a lecture about modern async C++