adacomp -v  -nl demolib primes
adabind -l demolib
adaexec -l demolib
