#define ASIZE 0x1000000000UL
#include "20031023-1.c"
