/* Same as print-rtl.c except we use hconfig.h instead of config.h. */
#define GCC_CONFIG_H
#include "hconfig.h"
#include "print-rtl.c"