# Generated by mktests.sh, do not edit by hand. -*- autoconf -*- cat <