[gprbuild_2018-5_2018-6.diffRMs0