1/* The system doesn't have <getopt.h>.  Use our getopt.h emulation.  */
2#include "getopt_.h"
3