isonum_721
static __inline int isonum_721(u_char *) __attribute__ ((__unused__));
return isonum_721(buf);