Headers for source code files.
Correct handling of exceptions using std::exception_ptr.