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