Error(s):

x86_64-linux-gnu-gcc-8 -c -I57412315/ -I- 57412315/source.adb
source.adb:1:01: compilation unit expected
source.adb:5:73: identifier may not start with digit
source.adb:7:71: identifier may not start with digit
source.adb:9:105: identifier may not start with digit
source.adb:10:105: identifier may not start with digit
source.adb:11:103: identifier may not start with digit
source.adb:12:104: identifier may not start with digit
source.adb:13:39: delimiter required between literal and identifier
source.adb:14:103: identifier may not start with digit
source.adb:15:105: identifier may not start with digit
source.adb:16:105: identifier may not start with digit
source.adb:17:105: identifier may not start with digit
source.adb:18:76: identifier may not start with digit
x86_64-linux-gnu-gnatmake-8: "57412315/source.adb" compilation error