x86_64-linux-gnu-gnatkr-7 --version (return code: 0)
GNATKR 7.2.0
Copyright (C) 1992-2017, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
x86_64-linux-gnu-gnatkr-7 --help (return code: 0)
Report bugs to report@adacore.com
Usage: gnatkr filename[.extension] [krunch-count]