Latest OpenMP4 changes