sadb_spirange
print_spirange(FILE *file, char *prefix, struct sadb_spirange *range)
(struct sadb_spirange *)current);
extern void print_spirange(FILE *, char *, struct sadb_spirange *);