cpp/header/initializer list

This header is part of the utility library.