gnatgcc -c -pipe -O2 prog.adb
prog.adb:3:14: warning: file name does not match unit name, should be "add-adb.adb"
prog.adb:3:14: file "add.ads" not found
prog.adb:18:01: procedure cannot return value (use function)
gnatmake: "prog.adb" compilation error