#line 625 "configure"
#include "confdefs.h"
main(){return(0);}