# CONFIG_HAVE_AOUT is not set
