#line 2042 "configure"
#include "confdefs.h"

int main() {
main()
; return 0; }
