/* XXX This file automatically generated by configure. */