predefine.h => provided.h