gcc -c binary.adb
