print_spirange
print_spirange(file, dgettext(TEXT_DOMAIN, "SPR: "),
extern void print_spirange(FILE *, char *, struct sadb_spirange *);