GNU Ada distributed systems annex