/* 64 KB worth of data. */
char data64kb[64*1024] = {1};