adacomp -v  -nl demolib factr
adabind -l demolib
adaexec -l demolib <factr.dat
