Ada + the Linux IDE "GLIDE"