gnatkr --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.
gnatkr --help (return code: 0)
Report bugs to email@example.com Usage: gnatkr filename[.extension] [krunch-count]