char cached_rfc822_withbody; /* 1 = body cached; 0 = only headers cached */
/* Cache most recent BODY FETCH because client might load in pieces */
char cached_rfc822_withbody; /* 1 = body cached; 0 = only headers cached */
/* Cache most recent BODY FETCH because client might load in pieces */