cpp/header/execution

This header is part of the algorithm library.