/* generated by userspace-header-gen.py */
/* ping6.c */
#define options _bsd_ping6_options