AT_ARG_OPTION_ARG([random-seed],
[AS_HELP_STRING([--random-seed=ARG],
[Integer seed for randomized testing (default: auto)])],
AT_ARG_OPTION_ARG([random-seed],
[AS_HELP_STRING([--random-seed=ARG],
[Integer seed for randomized testing (default: auto)])],