Session summary: future of the Ada language and language changes such as the Ravenscar profile