Create std_lib_facilities_4.h