Create provided.h