check_bodytype
i = check_bodytype(BlankEnvelope.e_bodytype);
r = check_bodytype(&bp[1]);
extern int check_bodytype __P((char *));